diff options
author | Arun Raghavan <git@arunraghavan.net> | 2015-07-06 11:25:50 +0530 |
---|---|---|
committer | Arun Raghavan <git@arunraghavan.net> | 2015-07-06 11:28:49 +0530 |
commit | ab5fdd72129ea61e8dff51cdc0afcccac03ebc2b (patch) | |
tree | 4fe465168dd021a66fbf86a6d048d4eec288b57b /scripts | |
parent | 41fdf21a60ca69bdc90bef367fbce41dcf4415ad (diff) |
scripts: Allow passing make flags to git-update.sh
Mostly adding this for add a -jN as appropriate while building.
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/git-update.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/scripts/git-update.sh b/scripts/git-update.sh index aaa738f81..89cb826f1 100755 --- a/scripts/git-update.sh +++ b/scripts/git-update.sh @@ -18,6 +18,8 @@ EXTRA_MODULES="\ gst-rtsp-server \ gst-python" +MAKE_FLAGS= + tmp=${TMPDIR-/tmp} tmp=$tmp/git-update.$(date +%Y%m%d-%H%M-).$RANDOM.$RANDOM.$RANDOM.$$ @@ -91,7 +93,7 @@ build() fi echo "+ $1: make" - make > "$tmp/$1-make.log" 2>&1 + make $MAKE_FLAGS > "$tmp/$1-make.log" 2>&1 if test $? -ne 0 then echo "$1: make [$tmp/$1-make.log]" >> $ERROR_LOG @@ -128,6 +130,8 @@ fi exit } +MAKE_FLAGS=$@ + # build core and base plugins sequentially # exit if build fails (excluding checks) for m in $CORE; do |