diff options
Diffstat (limited to '.gitlab/ci/env_fedora37_makefiles.sh')
-rw-r--r-- | .gitlab/ci/env_fedora37_makefiles.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitlab/ci/env_fedora37_makefiles.sh b/.gitlab/ci/env_fedora37_makefiles.sh new file mode 100644 index 0000000000..217ff305df --- /dev/null +++ b/.gitlab/ci/env_fedora37_makefiles.sh @@ -0,0 +1,3 @@ +if test "$CMAKE_CI_NIGHTLY" = "true"; then + source .gitlab/ci/ispc-env.sh +fi |