temp file not working on Windows (Git bash) #20

xonixx · Dec 8, 2023 · e95159e · e95159e
1 parent b72a864
commit e95159e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/fhtagn.awk b/fhtagn.awk
@@ -3,15 +3,15 @@ BEGIN {
   Prog = "fhtagn"
   if (!(Diff = ENVIRON["DIFF"])) Diff = "diff"
   if (!(Tmp = ENVIRON["TMPDIR"])) Tmp = "/tmp"
-  if (!(Rnd = ENVIRON["RANDOM"])) initRnd() # additional source of "random"
+  initRnd() # additional source of "random"
   All = ENVIRON["ALL"]
   srand()
   Success = Failed = 0
   fhtagn()
 }
 END { if (ToDel) system("rm -f" ToDel) }
 function initRnd(   c) {
-  (c = "echo $$") | getline Rnd # using PID serves good approximation to random
+  (c = "echo $$") | getline Rnd # using PID serves a good approximation to random
   close(c)
 }
 function fhtagn(   i,file,err,l,code,nr,line,random,exitCode,stdOutF,stdErrF,testStarted,expected,hasMoreCode) {