Rev 9390 | Rev 9411 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 9390 | Rev 9391 | ||
---|---|---|---|
Line 56... | Line 56... | ||
56 | # Remove unuseful folders |
56 | # Remove unuseful folders |
57 | img.delete_path("GAMES") |
57 | img.delete_path("GAMES") |
58 | img.delete_path("DEMOS") |
58 | img.delete_path("DEMOS") |
59 | img.delete_path("3D") |
59 | img.delete_path("3D") |
Line 60... | Line 60... | ||
60 | 60 | ||
61 | # Insert faster kernel if need |
61 | # Insert faster kernel if no --compressed-kernel flag passed |
62 | if len(sys.argv) > 1 and sys.argv[1] == "--fast": |
62 | if "--compressed-kernel" not in sys.argv: |
63 | new_kernel = builds_get_contents("eng/data/kernel/trunk/kernel.mnt.pretest") |
63 | new_kernel = builds_get_contents("eng/data/kernel/trunk/kernel.mnt.pretest") |
Line 64... | Line 64... | ||
64 | img.add_file_path("KERNEL.MNT", new_kernel) |
64 | img.add_file_path("KERNEL.MNT", new_kernel) |
65 | 65 |