diff options
Diffstat (limited to 'old-extension/record.awk')
-rw-r--r-- | old-extension/record.awk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/old-extension/record.awk b/old-extension/record.awk index 18a3ce48..ff89110d 100644 --- a/old-extension/record.awk +++ b/old-extension/record.awk @@ -30,8 +30,8 @@ # BEGIN { - extension("fileop.so") - extension("bindarr.so") + extension("./fileop.so") + extension("./bindarr.so") } # _record_count --- return the number of records in file |