diff options
Diffstat (limited to 'source3/aparser/util.awk')
-rw-r--r-- | source3/aparser/util.awk | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/source3/aparser/util.awk b/source3/aparser/util.awk index 93f9a4dcd2..6c5594da68 100644 --- a/source3/aparser/util.awk +++ b/source3/aparser/util.awk @@ -31,3 +31,9 @@ function numlines(fname, close(fname); return count; } + +# return 1 if the string is a constant +function is_constant(s) +{ + return match(s,"^[0-9]+$"); +} |