fix: souffleprof build

ceclin · Jul 5, 2023 · e2f6aaf · e2f6aaf
1 parent 08d9aea
commit e2f6aaf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -89,7 +89,7 @@ jobs:
           $env:EnforceProcessCountAcrossBuilds = "true"
           cmake --build build `
             --config Release `
-            --target souffle `
+            --target souffle souffleprof `
             --verbose
 
       - name: CMake-Install