diff options
Diffstat (limited to 'src/Makefile.am')
-rw-r--r-- | src/Makefile.am | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 0902d259f..0452a4ad3 100644 --- a/src/Makefile.am +++ b/src/Makefile.am | |||
@@ -7,7 +7,6 @@ if HAVE_TESTING | |||
7 | TESTBED = testbed | 7 | TESTBED = testbed |
8 | CONSENSUS = consensus | 8 | CONSENSUS = consensus |
9 | SECRETSHARING = secretsharing | 9 | SECRETSHARING = secretsharing |
10 | EXPERIMENTATION = experimentation | ||
11 | SENSOR = sensor | 10 | SENSOR = sensor |
12 | SENSORDASHBOARD = sensordashboard | 11 | SENSORDASHBOARD = sensordashboard |
13 | endif | 12 | endif |
@@ -23,7 +22,6 @@ if HAVE_EXPERIMENTAL | |||
23 | social \ | 22 | social \ |
24 | $(CONSENSUS) \ | 23 | $(CONSENSUS) \ |
25 | $(SECRETSHARING) \ | 24 | $(SECRETSHARING) \ |
26 | $(EXPERIMENTATION) \ | ||
27 | $(SENSOR) \ | 25 | $(SENSOR) \ |
28 | $(SENSORDASHBOARD) | 26 | $(SENSORDASHBOARD) |
29 | endif | 27 | endif |