KolibriOS/kolibrios
13
4
Fork 11
Code Issues 78 Pull Requests 5 Projects Releases Activity

[WS] Use faster uncompressed kernel by default

Browse Source 
git-svn-id: svn://kolibrios.org@9391 a494cfbc-eb01-0410-851d-a64ba20cac60
This commit is contained in:
Magomed Kostoev (mkostoevr) 2021-12-04 12:13:28 +00:00
parent 23fe7cf9ee
commit 1166af8067
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
_tools/workspace/run.py
View File

@ -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)