rename awk to gawk as MacOS is being a silly goose

hackerb9 · Mar 14, 2024 · 1fa5199 · 1fa5199
1 parent 7529f14
commit 1fa5199
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/adjunct/m100-sanity b/adjunct/m100-sanity
@@ -2,7 +2,7 @@
 
 # Sanitize a BASIC listing so that all lines are in order and no line
 # numbers are duplicated.
-awk '
+gawk '
 /^[ \t]*[0-9]/ {
     n = int($0);
     lines[n] = $0;