diff options
Diffstat (limited to 'GitConfigure')
-rwxr-xr-x | GitConfigure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/GitConfigure b/GitConfigure index 0821031afa..3451553245 100755 --- a/GitConfigure +++ b/GitConfigure @@ -2,7 +2,7 @@ BRANCH=`git rev-parse --abbrev-ref HEAD` -./Configure $@ no-symlinks +./Configure $@ make files util/mk1mf.pl OUT=out.$BRANCH TMP=tmp.$BRANCH INC=inc.$BRANCH copy > makefile.$BRANCH MAKE=make |