diff options
Diffstat (limited to 'src/Makefile.am')
-rw-r--r-- | src/Makefile.am | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 47d6896cb..38fa42356 100644 --- a/src/Makefile.am +++ b/src/Makefile.am | |||
@@ -8,8 +8,6 @@ if HAVE_TESTING | |||
8 | TESTBED = testbed | 8 | TESTBED = testbed |
9 | CONSENSUS = consensus | 9 | CONSENSUS = consensus |
10 | SECRETSHARING = secretsharing | 10 | SECRETSHARING = secretsharing |
11 | SENSOR = sensor | ||
12 | SENSORDASHBOARD = sensordashboard | ||
13 | endif | 11 | endif |
14 | 12 | ||
15 | if HAVE_EXPERIMENTAL | 13 | if HAVE_EXPERIMENTAL |
@@ -22,9 +20,7 @@ if HAVE_EXPERIMENTAL | |||
22 | rps \ | 20 | rps \ |
23 | social \ | 21 | social \ |
24 | $(CONSENSUS) \ | 22 | $(CONSENSUS) \ |
25 | $(SECRETSHARING) \ | 23 | $(SECRETSHARING) |
26 | $(SENSOR) \ | ||
27 | $(SENSORDASHBOARD) | ||
28 | endif | 24 | endif |
29 | 25 | ||
30 | if HAVE_REST | 26 | if HAVE_REST |