diff options
Diffstat (limited to 'scripts/check-config.sh')
-rwxr-xr-x | scripts/check-config.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/scripts/check-config.sh b/scripts/check-config.sh index 4848ca6e25..583f7d0963 100755 --- a/scripts/check-config.sh +++ b/scripts/check-config.sh | |||
@@ -17,6 +17,15 @@ | |||
17 | set -e | 17 | set -e |
18 | set -u | 18 | set -u |
19 | 19 | ||
20 | PROG_NAME="${0##*/}" | ||
21 | |||
22 | usage() { | ||
23 | echo "$PROG_NAME <path to u-boot.cfg> <path to whitelist file> <source dir>" | ||
24 | exit 1 | ||
25 | } | ||
26 | |||
27 | [ $# -ge 3 ] || usage | ||
28 | |||
20 | path="$1" | 29 | path="$1" |
21 | whitelist="$2" | 30 | whitelist="$2" |
22 | srctree="$3" | 31 | srctree="$3" |