Skip to main content
Revision 2c4c9867e70de11aacfe41bc11b0f9d01a4d54c5 authored by Dr. Stephen Henson on 28 January 2014, 15:15:26 UTC, committed by Dr. Stephen Henson on 28 January 2014, 15:17:32 UTC
Fix demo comment: 0.9.9 never released.
(cherry picked from commit 717cc8589540b95122a652dee68e6a75b6262d93)
1 parent a99540a
Raw File
GitMake
#!/bin/sh

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

make -f makefile.$BRANCH $@
back to top