author Dustin J. Mitchell <>
Mon, 02 Oct 2017 18:22:56 +0000
changeset 399728 0f0395687d36597098e4248457ed69f092c39f8f
parent 94475 f4157e8c410708d76703f19e4dfb61859bfe32d8
permissions -rwxr-xr-x
Bug 1403519 - only build docs when necessary r=gps This marks **/docs/** as exclusively docs, and code that is autodoc'd as inclusively docs. That means that a change that purely modifies documentation files will *only* run `docs` tasks, while a change that modifies autodoc'd source code will *additionaly* run `docs` tasks. The tasks do not run by default. MozReview-Commit-ID: G9tOK0AwtrI

# 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

# Usage from makefile:
#   ELOG = . $(topdir)/build/autoconf/
#   $(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 "In the directory " `pwd`
    echo "The following command failed to execute properly:"
    echo "$@"
    exit 1;