From 4e57900512bacd385c24bfb3f00869b6cc0e7423 Mon Sep 17 00:00:00 2001 From: Fred Suter Date: Thu, 16 May 2024 10:40:29 -0400 Subject: [PATCH] have flags before directory --- .github/workflows/build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index cc3f0b3..7c13991 100755 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -28,7 +28,7 @@ jobs: git checkout a0123b157d9d1e7f7d40198198d8776817fb4d46 mkdir build cd build - cmake .. -Denable_smpi=OFF -Denable_model-checking=OFF + cmake -Denable_smpi=OFF -Denable_model-checking=OFF .. make -j4 sudo make install