diff --git a/C/flint-1/metadata.json b/C/flint-1/metadata.json index d621c0a4e..b1ac69b8b 100644 --- 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"]