diff options
| author | Ben Laurie <ben@links.org> | 2013-06-13 15:09:48 +0100 |
|---|---|---|
| committer | Ben Laurie <ben@links.org> | 2013-06-13 15:09:48 +0100 |
| commit | e887c4187ef9bb5dc74576270c50706cbb0b4912 (patch) | |
| tree | ccd439f84d2acfaa40b63a1427d96b3b4fe98ecb /GitMake | |
| parent | 933aee6199ab134dac3abb1df46615424bafc718 (diff) | |
Backport single makefile from master.
Diffstat (limited to 'GitMake')
| -rwxr-xr-x | GitMake | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/GitMake b/GitMake new file mode 100755 index 0000000000..47beffd6bc --- /dev/null +++ b/GitMake @@ -0,0 +1,5 @@ +#!/bin/sh + +BRANCH=`git rev-parse --abbrev-ref HEAD` + +make -f makefile.$BRANCH $@ |