diff options
Diffstat (limited to 'configure')
-rw-r--r-- | configure | 9 |
1 files changed, 3 insertions, 6 deletions
@@ -1,13 +1,10 @@ #!/bin/sh # -# Call the 'configure' script located in 'builds/unix'. -# -# This should re-generate the following files: -# -# config.mk -# install +# Call the `configure' script located in `builds/unix'. # +rm -f config.mk builds/unix/unix-def.mk builds/unix/unix-cc.mk + if test "x$GNUMAKE" = x; then GNUMAKE=make fi |