Revision c55fef76f77aa54e85ca534785b2b19cebbe940c authored by Dr. Stephen Henson on 15 February 2014, 17:16:19 UTC, committed by Dr. Stephen Henson on 15 February 2014, 17:16:19 UTC
1 parent eb70d44
GitConfigure
#!/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

Computing file changes ...