Specify the parameter 'target' for the GNU make output sync option

This will ensure the script works if the default ever changes.
parent 3345d602
......@@ -6,7 +6,7 @@ flock -n 666 || exit 0
set -e
umask 0002
make --jobs=3 --silent --ignore-errors --output-sync --print-directory
make --jobs=3 --silent --ignore-errors --output-sync=target --print-directory
git fetch --quiet
git status --short
git --no-pager log --branches --not --remotes --simplify-by-decoration --decorate --oneline
......
......@@ -6,7 +6,7 @@ flock -n 666 || exit 0
set -e
umask 0002
time make --jobs=3 --silent --ignore-errors --output-sync --print-directory
time make --jobs=3 --silent --ignore-errors --output-sync=target --print-directory
cd var
cat ./*/sources.log.warnings > sources.log.warnings.tmp
diff --unified --ignore-all-space --ignore-matching-lines '^\(DEBUG\|INFO\):' \
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment