From 9fc3ebda13af72a9250814aad70e0b09d7b24af1 Mon Sep 17 00:00:00 2001 From: Ben Laurie Date: Sat, 6 Apr 2013 15:17:30 +0100 Subject: [PATCH] Helper scripts for one makefile build. --- GitConfigure | 8 ++++++++ GitMake | 5 +++++ 2 files changed, 13 insertions(+) create mode 100755 GitConfigure create mode 100644 GitMake diff --git a/GitConfigure b/GitConfigure new file mode 100755 index 0000000000..bbab33ebc5 --- /dev/null +++ b/GitConfigure @@ -0,0 +1,8 @@ +#!/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 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 $@ -- 2.34.1