diff options
author | dos-reis <gdr@axiomatics.org> | 2010-11-05 03:50:23 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-11-05 03:50:23 +0000 |
commit | 1cfbe5aaa3d2dd322cb6dcc74cab17b784af9328 (patch) | |
tree | 1bc6f61644a87876c532a6729d90751436971f97 | |
parent | c79a5618011cf9232ed886a89bd9e9ec335fc243 (diff) | |
download | open-axiom-1cfbe5aaa3d2dd322cb6dcc74cab17b784af9328.tar.gz |
* build-setup.sh: Simplify.
-rw-r--r-- | ChangeLog | 4 | ||||
-rwxr-xr-x | build-setup.sh | 11 |
2 files changed, 4 insertions, 11 deletions
@@ -1,3 +1,7 @@ +2010-11-04 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * build-setup.sh: Simplify. + 2010-11-01 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet: Remove. diff --git a/build-setup.sh b/build-setup.sh index b5ec8f78..547f786e 100755 --- a/build-setup.sh +++ b/build-setup.sh @@ -11,15 +11,4 @@ rm -rf autom4te.cache 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 -SUBDIRS=" src/input \ -" - - -for d in $SUBDIRS; do - notangle -t8 $d/Makefile.pamphlet > $d/tmp-Makefile.in \ - || error "could not extract $d/Makefile.in from pamphlet file" - config/move-if-change $d/tmp-Makefile.in $d/Makefile.in -done - # set +x |