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 TESTBED = testbed CONSENSUS = consensus SECRETSHARING = secretsharing - EXPERIMENTATION = experimentation SENSOR = sensor SENSORDASHBOARD = sensordashboard endif @@ -23,7 +22,6 @@ if HAVE_EXPERIMENTAL social \ $(CONSENSUS) \ $(SECRETSHARING) \ - $(EXPERIMENTATION) \ $(SENSOR) \ $(SENSORDASHBOARD) endif |