Skip to main content
Revision a2317c3ffde3f1f73bd7fa3f08e420fb09043905 authored by Dr. Stephen Henson on 09 February 2014, 21:12:12 UTC, committed by Dr. Stephen Henson on 09 February 2014, 21:12:12 UTC
fix error discrepancy
1 parent 75917fa
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