diff options
Diffstat (limited to 'tools/checkwps/parse_configure.awk')
| -rw-r--r-- | tools/checkwps/parse_configure.awk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/checkwps/parse_configure.awk b/tools/checkwps/parse_configure.awk index 0cb0c0b392..19dce810ab 100644 --- a/tools/checkwps/parse_configure.awk +++ b/tools/checkwps/parse_configure.awk | |||
| @@ -5,7 +5,7 @@ BEGIN { FS="[|)]" } | |||
| 5 | } | 5 | } |
| 6 | 6 | ||
| 7 | /^[ \t]*target="[^"]+"$/ { | 7 | /^[ \t]*target="[^"]+"$/ { |
| 8 | match($0, "-D[^\"]+") | 8 | match($0, "=\".+\"") |
| 9 | target=substr($0, RSTART+2, RLENGTH-2) | 9 | target=substr($0, RSTART+2, RLENGTH-3) |
| 10 | print target, model | 10 | print target, model |
| 11 | } | 11 | } |