806 Add PL flag

skalenetwork · Feb 24, 2025 · 40a3440 · 40a3440
1 parent b7d0a03
commit 40a3440
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/scripts/build.py b/scripts/build.py
@@ -79,8 +79,7 @@ def main():
     if buildPL:
         command += " -DPL=1"
 
-    run("cmake .. -DCMAKE_BUILD_TYPE=" + buildType +
-        " -DCOVERAGE=ON -DMICROPROFILE_ENABLED=0")
+    run(command)
     run("make -j$(nproc)")
     os.chdir("..")
     assert os.path.isfile("build/consensust")