Fix the options handling when awk is a full path.

1 files changed, 7 insertions, 3 deletions

diff --git a/mksyms.awk b/mksyms.awk
index 99bce48..2f39767 100644
--- a/mksyms.awk
+++ b/mksyms.awk
@@ -71,10 +71,14 @@ BEGIN {
       embed = 1
       delete ARGV[a];
     }
-    else if (ARGV[a] != "-" && ARGV[a] != "awk")
+    else if (ARGV[a] != "-")
     {
-      print ("invalid option:", ARGV[a]);
-      exit 2
+      ap = index (ARGV[a], "awk")
+      if ((ap == 0) || (ap != (length(ARGV[a]) - 2)))
+      {
+        print ("invalid option:", ARGV[a]);
+        exit 2
+      }
     }
   }
   c_header();