diff options
| -rw-r--r-- | .gitlab-ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 5d38902cbf..ad1578915f 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -561,6 +561,7 @@ validate-x86_64-darwin: --keep CI_PROJECT_DIR --keep MAKE_ARGS --keep HADRIAN_ARGS --keep CABAL_CACHE \ --keep LANG --keep CONFIGURE_ARGS --keep TEST_ENV --keep BIN_DIST_NAME \ --keep MACOSX_DEPLOYMENT_TARGET --keep ac_cv_func_clock_gettime --keep HACKAGE_INDEX_STATE \ + --keep PERF_NOTE_KEY --keep HEAD_HACKAGE_TRIGGER_TOKEN \ --run "$1" 2>&1 } # fix up config.sub in libraries for the time. |