diff options
Diffstat (limited to 'GitConfigure')
-rwxr-xr-x | GitConfigure | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/GitConfigure b/GitConfigure new file mode 100755 index 0000000000..bbab33ebc5 --- /dev/null +++ b/GitConfigure @@ -0,0 +1,8 @@ +#!/bin/sh + +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 |