From 1166af8067470a7d1d7bfb687c4786c7aca0778e Mon Sep 17 00:00:00 2001 From: "Magomed Kostoev (mkostoevr)" Date: Sat, 4 Dec 2021 12:13:28 +0000 Subject: [PATCH] [WS] Use faster uncompressed kernel by default git-svn-id: svn://kolibrios.org@9391 a494cfbc-eb01-0410-851d-a64ba20cac60 --- _tools/workspace/run.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/_tools/workspace/run.py b/_tools/workspace/run.py index 3b7d69a5d6..31f38ea883 100644 --- a/_tools/workspace/run.py +++ b/_tools/workspace/run.py @@ -58,8 +58,8 @@ if __name__ == "__main__": img.delete_path("DEMOS") img.delete_path("3D") - # Insert faster kernel if need - if len(sys.argv) > 1 and sys.argv[1] == "--fast": + # Insert faster kernel if no --compressed-kernel flag passed + if "--compressed-kernel" not in sys.argv: new_kernel = builds_get_contents("eng/data/kernel/trunk/kernel.mnt.pretest") img.add_file_path("KERNEL.MNT", new_kernel)