diff options
Diffstat (limited to 'build/unix/print-failed-commands.sh')
-rwxr-xr-x | build/unix/print-failed-commands.sh | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/build/unix/print-failed-commands.sh b/build/unix/print-failed-commands.sh new file mode 100755 index 000000000..7f6b73d33 --- /dev/null +++ b/build/unix/print-failed-commands.sh @@ -0,0 +1,25 @@ +#!/bin/sh +# This Source Code Form is subject to the terms of the Mozilla Public +# License, v. 2.0. If a copy of the MPL was not distributed with this +# file, You can obtain one at http://mozilla.org/MPL/2.0/. + +# +# Usage from makefile: +# ELOG = . $(topdir)/build/autoconf/print-failed-commands.sh +# $(ELOG) $(CC) $CFLAGS -o $@ $< +# +# This shell script is used by the build system to print out commands that fail +# to execute properly. It is designed to make the "make -s" command more +# useful. +# +# Note that in the example we are sourcing rather than execing the script. +# Since make already started a shell for us, we might as well use it rather +# than starting a new one. + +( exec "$@" ) || { + echo + echo "In the directory " `pwd` + echo "The following command failed to execute properly:" + echo "$@" + exit 1; +} |