diff options
Diffstat (limited to 'build-setup.sh')
-rwxr-xr-x | build-setup.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build-setup.sh b/build-setup.sh index b177598e..9d51d977 100755 --- a/build-setup.sh +++ b/build-setup.sh @@ -11,7 +11,7 @@ notangle ./configure.ac.pamphlet > ./tmp-configure.ac \ || error "could not extract configure.ac from pamphlet file" config/move-if-change tmp-configure.ac configure.ac -autoheader || error "could not re-generate config/axiom-c-macros.h" +autoheader || error "could not re-generate config/openaxiom-c-macros.h" autoconf || error "could not re-generate configure" ## subdirectories that contain Makefile pamphlets of interest |