From 40a34400633ea1e5a7133bb31c94ff7a9eac751b Mon Sep 17 00:00:00 2001
From: Konstantin Kladko <13399135+kladkogex@users.noreply.github.com>
Date: Mon, 24 Feb 2025 17:09:26 +0000
Subject: [PATCH] 806 Add PL flag

---
 scripts/build.py | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/scripts/build.py b/scripts/build.py
index b4cd9dd5..c1214c49 100755
--- 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")