diff options
author | Uli Schlachter <psychon@znc.in> | 2013-09-15 16:58:05 +0200 |
---|---|---|
committer | Uli Schlachter <psychon@znc.in> | 2014-08-27 10:52:07 +0200 |
commit | 549129e306bef2f81f53a52904af8814e79e1440 (patch) | |
tree | 136a883399bbb8bb4f43a2ead0368d3a1af19133 | |
parent | 384878373d8bd63f10af1398614a662198a61ed8 (diff) |
check-doc-syntax: Don't hardcode path to awk
Instead of expecting awk in /usr/bin, this commit changes the code to call awk
through a shell so that $PATH is searched.
Since this awk script shouldn't really be called manually, this is done by
removing the shebang from the awk script, marking it non-executable and fixing
up the caller.
Bugzilla: https://bugs.freedesktop.org/show_bug.cgi?id=67674
Reviewed-by: Bryce Harrington <b.harrington@samsung.com>
Signed-off-by: Uli Schlachter <psychon@znc.in>
-rw-r--r--[-rwxr-xr-x] | src/check-doc-syntax.awk | 2 | ||||
-rwxr-xr-x | src/check-doc-syntax.sh | 2 |
2 files changed, 1 insertions, 3 deletions
diff --git a/src/check-doc-syntax.awk b/src/check-doc-syntax.awk index 5fdabdac9..1fa8b8d22 100755..100644 --- a/src/check-doc-syntax.awk +++ b/src/check-doc-syntax.awk @@ -1,5 +1,3 @@ -#!/usr/bin/awk -f - BEGIN { name_found = 1 SECTION_DOC = 0 diff --git a/src/check-doc-syntax.sh b/src/check-doc-syntax.sh index c74fb875d..762a48429 100755 --- a/src/check-doc-syntax.sh +++ b/src/check-doc-syntax.sh @@ -72,7 +72,7 @@ fi >&2 # Only run the syntax checker on the source files (not doc/) if test -e ./check-doc-syntax.awk; then - if echo $FILES | xargs ./check-doc-syntax.awk ; then + if echo $FILES | xargs awk -f ./check-doc-syntax.awk ; then : else stat=1 |