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 e2346803b..d5c4e6c66 100644 --- a/configure.ac +++ b/configure.ac | |||
| @@ -1384,6 +1384,8 @@ src/regex/Makefile | |||
| 1384 | src/regex/regex.conf | 1384 | src/regex/regex.conf |
| 1385 | src/revocation/Makefile | 1385 | src/revocation/Makefile |
| 1386 | src/revocation/revocation.conf | 1386 | src/revocation/revocation.conf |
| 1387 | src/secretsharing/Makefile | ||
| 1388 | src/secretsharing/secretsharing.conf | ||
| 1387 | src/scalarproduct/Makefile | 1389 | src/scalarproduct/Makefile |
| 1388 | src/scalarproduct/scalarproduct.conf | 1390 | src/scalarproduct/scalarproduct.conf |
| 1389 | src/set/Makefile | 1391 | src/set/Makefile |