diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-11-12 20:38:10 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-11-12 20:38:10 +0000 |
commit | 13a6669a35aee32c03f8d29fe386aca95d2fbd8f (patch) | |
tree | b126afb6c384dd45db0249e8096cf733a74daa95 /autogen.sh | |
parent | 5b5474281c4cdc880bff8b9e38b84dc84f88e50c (diff) |
parser, minisat, other things..
Diffstat (limited to 'autogen.sh')
-rwxr-xr-x | autogen.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/autogen.sh b/autogen.sh index 612c5c204..a250f6b82 100755 --- a/autogen.sh +++ b/autogen.sh @@ -1,11 +1,11 @@ #!/bin/sh -ex cd "$(dirname "$0")" -mkdir -p m4 +mkdir -p config libtoolize --copy -autoheader -I m4 +autoheader -I config touch NEWS README AUTHORS ChangeLog touch stamp-h -aclocal -I m4 -autoconf -I m4 +aclocal -I config +autoconf -I config automake -ac --foreign |