Use gawk's gettimeofday if available #57

xonixx · Sep 26, 2021 · 0420b38 · 0420b38
1 parent 7a74bc3
commit 0420b38
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/run-tests.yml b/.github/workflows/run-tests.yml
@@ -20,6 +20,7 @@ jobs:
 
       - name: "run tests"
         run: |
+          [[ "$OSTYPE" == "darwin"* ]] && brew install gawk
           ./makesure_stable
   win:
     name: "Run tests Win"