Skip to main content
Revision bc35b8e435cc1036db65a94a026247e8746543d0 authored by Dr. Stephen Henson on 01 December 2013, 23:09:44 UTC, committed by Dr. Stephen Henson on 01 December 2013, 23:09:44 UTC
make update
1 parent 6859f3f
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