diff options
Diffstat (limited to 'tools/check-directives.sh')
| -rwxr-xr-x | tools/check-directives.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/check-directives.sh b/tools/check-directives.sh index 0661da4d3b..af846c4d73 100755 --- a/tools/check-directives.sh +++ b/tools/check-directives.sh @@ -3,8 +3,8 @@ set -eu set -o pipefail -SOURCE_ROOT="${1:?Missing argument: project source root}" -BUILD_ROOT="${2:?Missing argument: project build root}" +SOURCE_ROOT="${1:?}" +BUILD_ROOT="${2:?}" command -v gawk &>/dev/null || exit 77 |