diff options
Diffstat (limited to 'GitConfigure')
| -rwxr-xr-x | GitConfigure | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/GitConfigure b/GitConfigure index bbab33ebc5..0821031afa 100755 --- a/GitConfigure +++ b/GitConfigure @@ -5,4 +5,6 @@ BRANCH=`git rev-parse --abbrev-ref HEAD` ./Configure $@ no-symlinks make files util/mk1mf.pl OUT=out.$BRANCH TMP=tmp.$BRANCH INC=inc.$BRANCH copy > makefile.$BRANCH -make -f makefile.$BRANCH init +MAKE=make +which bsdmake > /dev/null && MAKE=bsdmake +$MAKE -f makefile.$BRANCH init |