perf: build faster

kupl · Nov 9, 2023 · 048afe6 · 048afe6
1 parent 74a5517
commit 048afe6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/C/flint-1/metadata.json b/C/flint-1/metadata.json
@@ -5,7 +5,7 @@
     "buggyPath": "buggy",
     "referencePath": null,
 
-    "buildCommand": "make",
+    "buildCommand": "make -j`nproc`",
     "testCommand": null,
 
     "categories": ["safety", "resource-leak"]