diff options
Diffstat (limited to 'extension/testarg.awk')
-rw-r--r-- | extension/testarg.awk | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/extension/testarg.awk b/extension/testarg.awk deleted file mode 100644 index a91df1a9..00000000 --- a/extension/testarg.awk +++ /dev/null @@ -1,7 +0,0 @@ -BEGIN { - extension("./testarg.so", "dlload") - check_arg(x, a); - check_arg(y, b, z); - check_arg(u, v, u=1); - check_arg(p, q, r, s); -} |