diff options
author | Martin Schanzenbach <schanzen@gnunet.org> | 2023-10-18 17:24:47 +0200 |
---|---|---|
committer | Martin Schanzenbach <schanzen@gnunet.org> | 2023-10-18 17:24:47 +0200 |
commit | 852718c2473e41bc01ada0d53ad93c7da78e6ec8 (patch) | |
tree | c8673b217b44be43f6405ff644dd16b56440cc2c /src/Makefile.am | |
parent | 65dbd214b80664872f6514fdd663a30e405a6ad6 (diff) | |
download | gnunet-852718c2473e41bc01ada0d53ad93c7da78e6ec8.tar.gz gnunet-852718c2473e41bc01ada0d53ad93c7da78e6ec8.zip |
BUILD: build plugins after services
Diffstat (limited to 'src/Makefile.am')
-rw-r--r-- | src/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 757d2c1c1..9b7f9c367 100644 --- a/src/Makefile.am +++ b/src/Makefile.am | |||
@@ -12,8 +12,8 @@ endif | |||
12 | SUBDIRS = \ | 12 | SUBDIRS = \ |
13 | include $(INTLEMU_SUBDIRS) \ | 13 | include $(INTLEMU_SUBDIRS) \ |
14 | lib \ | 14 | lib \ |
15 | plugin \ | ||
16 | service \ | 15 | service \ |
16 | plugin \ | ||
17 | rest-plugin \ | 17 | rest-plugin \ |
18 | cli \ | 18 | cli \ |
19 | contrib \ | 19 | contrib \ |