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