diff options
| author | Ben Laurie <ben@links.org> | 2013-04-06 15:17:30 +0100 |
|---|---|---|
| committer | Ben Laurie <ben@links.org> | 2013-04-06 15:17:30 +0100 |
| commit | 9fc3ebda13af72a9250814aad70e0b09d7b24af1 (patch) | |
| tree | d979c1daba6b0a7533a0d60700c2c2f09eb64216 /GitMake | |
| parent | 1a70fe953a65a1b7ed3814c1bb415814f628ba44 (diff) | |
Helper scripts for one makefile build.
Diffstat (limited to 'GitMake')
| -rw-r--r-- | GitMake | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/GitMake b/GitMake new file mode 100644 index 0000000000..47beffd6bc --- /dev/null +++ b/GitMake @@ -0,0 +1,5 @@ +#!/bin/sh + +BRANCH=`git rev-parse --abbrev-ref HEAD` + +make -f makefile.$BRANCH $@ |