perf: build faster

kupl · Nov 9, 2023 · e005273 · e005273
1 parent e75445a
commit e005273
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"]