Work around TIS-CI bug on x96_16

LoupVaillant · Sep 9, 2023 · 7c83137 · 7c83137
1 parent 3a95574
commit 7c83137
Show file tree

Hide file tree

Showing 2 changed files with 378 additions and 126 deletions.
diff --git a/tests/tis-ci-gen-config.sh b/tests/tis-ci-gen-config.sh
@@ -98,7 +98,9 @@ do
         echo '  , "tests/utils.c"'                                >> $TIS_CONFIG
         echo '  , "tests/tis-ci.c"'                               >> $TIS_CONFIG
         echo '  ]'                                                >> $TIS_CONFIG
-        echo ', "cpp-extra-args": "-Isrc -Isrc/optional -Itests -Dvolatile="' \
+        echo ', "cpp-extra-args":
+        "-Isrc -Isrc/optional -Itests -Dvolatile=
+         -DCLOCK_PROCESS_CPUTIME_ID=3 -DCLOCK_THREAD_CPUTIME_ID=4"' \
                                                                   >> $TIS_CONFIG
         echo ', "machdep"       :' "\"$platform\""                >> $TIS_CONFIG
         echo ', "no-results"    : true'                           >> $TIS_CONFIG