Fix: put DREDD_EXTRA_C_ARGS in one line

mc-imperial · Sep 20, 2024 · d6fa997 · d6fa997
1 parent 9ba057d
commit d6fa997
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/.github/workflows/build.sh b/.github/workflows/build.sh
@@ -247,11 +247,9 @@ case "$(uname)" in
   rm -r test/execute/constant_function_argument
 
   # The C code generated by Dredd may require recent C/C++ support.
-  export DREDD_EXTRA_C_ARGS="/std:c17"
-  export DREDD_EXTRA_CXX_ARGS="/std:c++20"
-
   # Dredd's prelude includes experimental `stdatomic.h`` header.
-  export DREDD_EXTRA_C_ARGS="/experimental:c11atomics"
+  export DREDD_EXTRA_C_ARGS="/std:c17 /experimental:c11atomics"
+  export DREDD_EXTRA_CXX_ARGS="/std:c++20"
   ;;
 
 *)