diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-02-11 15:40:37 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-02-11 15:40:37 +0100 |
| commit | 3ad698d01865c9f1b5c5aadc2f4d8b0a3658b81c (patch) | |
| tree | 671de5acc0a13cafe636bf1e220496a5882a8b74 /configure.ac | |
| parent | de0d987e34d426f6ed3593840078442191255587 (diff) | |
| parent | cdaf1ce69b5fb56f09bbdc00942b03f039710614 (diff) | |
merging
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/configure.ac b/configure.ac index 8e6b6f26..58a20920 100644 --- a/configure.ac +++ b/configure.ac @@ -474,10 +474,8 @@ AM_CONDITIONAL([HAVE_TWISTER], [false]) AC_CONFIG_FILES([Makefile contrib/Makefile - contrib/pp/Makefile - contrib/tos/Makefile doc/Makefile - doc/doxygen/Makefile + doc/doxygen/Makefile src/Makefile src/auditor/Makefile src/auditordb/Makefile |