Cargo cult

Author: hannes-steffenhagen-diffblue

buildspec-windows-cmake.yml

@@ -25,23 +25,20 @@ phases:
         if (-not $?) {
           exit 1
         }
-        mkdir build
-        cd build
-
-        cmake .. -G Ninja -DCMAKE_C_COMPILER=clcache.exe -DCMAKE_CXX_COMPILER=clcache.exe -DCMAKE_BUILD_TYPE=Release
+        cmake -S . -Bbuild -G Ninja "-DCMAKE_C_COMPILER=clcache.exe" "-DCMAKE_CXX_COMPILER=clcache.exe" "-DCMAKE_BUILD_TYPE=Release"
         if (-not $?) {
           exit 1
         }
         Get-Content build.ninja
-        cmake --build . --config Release --target cbmc
+        cmake --build build --config Release --target cbmc
         if (-not $?) {
           exit 1
         }
-        cmake --build . --config Release --target jbmc
+        cmake --build build --config Release --target jbmc
         if (-not $?) {
           exit 1
         }
-        cmake --build . --config Release --target unit
+        cmake --build build --config Release --target unit
         if (-not $?) {
           exit 1
         }