diff options
Diffstat (limited to 'bootstrap')
-rwxr-xr-x | bootstrap | 17 |
1 files changed, 0 insertions, 17 deletions
@@ -19,27 +19,10 @@ autoreconf -vif || exit 1 sed -i 's|SHELL = /bin/sh|SHELL = @SHELL@|g' po/Makefile.in.in || exit 1 -## Prepare the man pages -SCRIPTS_THAT_GET_EXECUTED="../src/disfluid" - mkdir -p .native || exit 1 cd .native || exit 1 bash ../configure SHELL=$(which sh) || exit 1 - -for file in $SCRIPTS_THAT_GET_EXECUTED -do - cp $file ${file}.bak - sed -i "s|/usr/local/bin/guile|$(which guile)|g" $file || exit 1 -done - make -j V=1 || exit 1 make -j dist || exit 1 - -for file in $SCRIPTS_THAT_GET_EXECUTED -do - chmod u+w $file || exit 1 - cp ${file}.bak $file || exit 1 -done - cd .. || exit 1 rm -rf .native || exit 1 |