diff options
Diffstat (limited to 'scripts/check-config.sh')
| -rwxr-xr-x | scripts/check-config.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/check-config.sh b/scripts/check-config.sh index 267758498b..4848ca6e25 100755 --- a/scripts/check-config.sh +++ b/scripts/check-config.sh @@ -14,6 +14,9 @@ # For example: # scripts/check-config.sh b/chromebook_link/u-boot.cfg kconfig_whitelist.txt . +set -e +set -u + path="$1" whitelist="$2" srctree="$3" |