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 3589bb145..8fb6244f4 100644 --- a/configure.ac +++ b/configure.ac | |||
@@ -1457,6 +1457,8 @@ src/revocation/Makefile | |||
1457 | src/revocation/revocation.conf | 1457 | src/revocation/revocation.conf |
1458 | src/secretsharing/Makefile | 1458 | src/secretsharing/Makefile |
1459 | src/secretsharing/secretsharing.conf | 1459 | src/secretsharing/secretsharing.conf |
1460 | src/sensor/Makefile | ||
1461 | src/sensor/sensor.conf | ||
1460 | src/scalarproduct/Makefile | 1462 | src/scalarproduct/Makefile |
1461 | src/scalarproduct/scalarproduct.conf | 1463 | src/scalarproduct/scalarproduct.conf |
1462 | src/set/Makefile | 1464 | src/set/Makefile |