fix dist ci on windows (thanks @msprotz)

hacl-star · Nov 7, 2022 · 494fe27 · 494fe27
1 parent 91c0dd8
commit 494fe27
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.ci/script.bat b/.ci/script.bat
@@ -1,6 +1,7 @@
 call "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\Common7\Tools\VsDevCmd.bat" -host_arch=amd64 -arch=amd64
 call "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\Common7\Tools\VsDevCmd.bat" -test
 cd dist/msvc-compatible
+type nul > config.h
 cl *.c /I ../karamel/include /I . /I ../karamel/krmllib/dist/minimal /c /DHACL_CAN_COMPILE_INTRINSICS /DHACL_CAN_COMPILE_VALE /DHACL_CAN_COMPILE_VEC128 /DHACL_CAN_COMPILE_VEC256 || goto :error
 for /F %%i in ('dir /b *-x86_64-msvc.asm') do (
   ml64 /c %%i || goto :error