diff options
Diffstat (limited to 'test/xref.awk')
| -rw-r--r-- | test/xref.awk | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/xref.awk b/test/xref.awk index 5c3f192b..6e562913 100644 --- a/test/xref.awk +++ b/test/xref.awk @@ -94,10 +94,10 @@ function asplit(str,arr,fs, n) { n = split(str,temp_asplit,fs) for ( i = 1; i <= n; i++ ) arr[temp_asplit[i]]++ } - function inarray(val,arr, j) { + function inarray(val,arr, j, tmp) { for ( j in arr ) - if ( arr[j] == val ) return j - return "" } + tmp[arr[j]]++ + return (val in tmp) } function lex() { |