Use gawk's gettimeofday if available #57

Makesurefile

@@ -127,7 +127,8 @@
 @goal stable_version_prepared @private
   {
     echo '#!/bin/sh'
-    echo "exec awk -v \"Version=$NEXT_VERSION\" -v \"Prog=\$0\" '"
+    echo "command -v gawk >/dev/null && AWK='gawk -ltime -v Gawk=1' || AWK=awk"
+    echo "exec \$AWK -v \"Version=$NEXT_VERSION\" -v \"Prog=\$0\" '"
     awk -v Q=\' '
 function trim(s) { sub(/^[ \t\r\n]+/, "", s); sub(/[ \t\r\n]+$/, "", s); return s }
 /^BEGIN/                  { in_begin=1 }

makesure.awk

@@ -568,6 +568,8 @@ function topologicalSortPerform(node, result, loop,   i, s) {
 }
 
 function currentTimeMillis(   script, res) {
+  if (Gawk)
+    return int(gettimeofday()*1000)
   res = executeGetLine("date +%s%3N")
   sub(/%?3N/, "000", res) # if date doesn't support %N (macos?) just use second-precision
   return +res

makesure_stable

@@ -1,5 +1,6 @@
 #!/bin/sh
-exec awk -v "Version=0.9.10" -v "Prog=$0" '
+command -v gawk >/dev/null && AWK='gawk -ltime -v Gawk=1' || AWK=awk
+exec $AWK -v "Version=0.9.10" -v "Prog=$0" '
 BEGIN {
   Shell = "bash"
   SupportedShells["bash"]
@@ -461,6 +462,8 @@ function topologicalSortPerform(node, result, loop,   i, s) {
   arrPush(result, node)
 }
 function currentTimeMillis(   script, res) {
+  if (Gawk)
+    return int(gettimeofday()*1000)
   res = executeGetLine("date +%s%3N")
   sub(/%?3N/, "000", res)
   return +res