mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-11-27 04:01:08 +00:00
Revert "scripts: Allow passing make flags to git-update.sh"
This reverts commit ab5fdd7212
.
We can use the MAKEFLAGS environment variable to pass options to make,
so avoid adding another mechanism that could be confusing.
This commit is contained in:
parent
f0da038c34
commit
299605dfe2
1 changed files with 1 additions and 5 deletions
|
@ -18,8 +18,6 @@ EXTRA_MODULES="\
|
||||||
gst-rtsp-server \
|
gst-rtsp-server \
|
||||||
gst-python"
|
gst-python"
|
||||||
|
|
||||||
MAKE_FLAGS=
|
|
||||||
|
|
||||||
tmp=${TMPDIR-/tmp}
|
tmp=${TMPDIR-/tmp}
|
||||||
tmp=$tmp/git-update.$(date +%Y%m%d-%H%M-).$RANDOM.$RANDOM.$RANDOM.$$
|
tmp=$tmp/git-update.$(date +%Y%m%d-%H%M-).$RANDOM.$RANDOM.$RANDOM.$$
|
||||||
|
|
||||||
|
@ -93,7 +91,7 @@ build()
|
||||||
fi
|
fi
|
||||||
|
|
||||||
echo "+ $1: make"
|
echo "+ $1: make"
|
||||||
make $MAKE_FLAGS > "$tmp/$1-make.log" 2>&1
|
make > "$tmp/$1-make.log" 2>&1
|
||||||
if test $? -ne 0
|
if test $? -ne 0
|
||||||
then
|
then
|
||||||
echo "$1: make [$tmp/$1-make.log]" >> $ERROR_LOG
|
echo "$1: make [$tmp/$1-make.log]" >> $ERROR_LOG
|
||||||
|
@ -130,8 +128,6 @@ fi
|
||||||
exit
|
exit
|
||||||
}
|
}
|
||||||
|
|
||||||
MAKE_FLAGS=$@
|
|
||||||
|
|
||||||
# build core and base plugins sequentially
|
# build core and base plugins sequentially
|
||||||
# exit if build fails (excluding checks)
|
# exit if build fails (excluding checks)
|
||||||
for m in $CORE; do
|
for m in $CORE; do
|
||||||
|
|
Loading…
Reference in a new issue