add --enable-wachs option
authorChristian Grothoff <christian@grothoff.org>
Sat, 7 Mar 2015 11:13:19 +0000 (11:13 +0000)
committerChristian Grothoff <christian@grothoff.org>
Sat, 7 Mar 2015 11:13:19 +0000 (11:13 +0000)
commit302ba9e8f253dc4c1c8dd356c0b86d4864427047
tree6f7bff84b166bb3c4edc004b7d186dab93081477
parent21508561fc6c11fdf5d32d09b8e55c3750932507
add --enable-wachs option
configure.ac
src/Makefile.am