Skip to main content
Revision d2a3c4497fd761bff06b73456d5628dbc462a05f authored by Dr. Stephen Henson on 24 February 2014, 13:50:38 UTC, committed by Dr. Stephen Henson on 24 February 2014, 13:50:38 UTC
make update
1 parent a129850
Raw File
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
back to top