diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-04-06 20:44:12 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-04-06 20:44:12 +0000 |
| commit | 6a5fb6d945b109921cb9b6117f4ede0b6d110c08 (patch) | |
| tree | 2a3cc2e6da657f52165c7df90863f5226b9d6972 /configure.ac | |
| parent | bc63c26f48851a79d21139f32f2c57daeb47f49d (diff) | |
fix distributed builds (and therefore the Debian nightly build) by ignoring Makefile.am files under src/prop/cryptominisat.
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index b4471a0fe..47df960d5 100644 --- a/configure.ac +++ b/configure.ac @@ -1061,7 +1061,7 @@ AC_SUBST(MAN_DATE) AC_CONFIG_FILES([ Makefile.builds Makefile] - m4_esyscmd([find contrib src test examples -name Makefile.am | grep -v '^contrib/theoryskel/' | sort | sed 's,\.am$,,']) + m4_esyscmd([find contrib src test examples -name Makefile.am | grep -v '^contrib/theoryskel/' | grep -v '^src/prop/cryptominisat/' | sort | sed 's,\.am$,,']) ) if test $cvc4_has_threads = yes; then |