diff options
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 3c315afe6..d90462329 100644 --- a/configure.ac +++ b/configure.ac | |||
@@ -1491,6 +1491,8 @@ src/secretsharing/Makefile | |||
1491 | src/secretsharing/secretsharing.conf | 1491 | src/secretsharing/secretsharing.conf |
1492 | src/sensor/Makefile | 1492 | src/sensor/Makefile |
1493 | src/sensor/sensor.conf | 1493 | src/sensor/sensor.conf |
1494 | src/sensordashboard/Makefile | ||
1495 | src/sensordashboard/sensordashboard.conf | ||
1494 | src/scalarproduct/Makefile | 1496 | src/scalarproduct/Makefile |
1495 | src/scalarproduct/scalarproduct.conf | 1497 | src/scalarproduct/scalarproduct.conf |
1496 | src/set/Makefile | 1498 | src/set/Makefile |