Commit 9fc3ebda authored by Ben Laurie's avatar Ben Laurie
Browse files

Helper scripts for one makefile build.

parent 1a70fe95

GitConfigure

0 → 100755
+8 −0
Original line number Diff line number Diff line 
#!/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

GitMake

0 → 100644
+5 −0
Original line number Diff line number Diff line 
#!/bin/sh



BRANCH=`git rev-parse --abbrev-ref HEAD`



make -f makefile.$BRANCH $@