Skip to content

Commit 6101f6f

Browse files
jwpjrdevAndy-Python-Programmer
authored andcommitted
build: build if iso doesn't exist
1 parent 7db61a5 commit 6101f6f

File tree

2 files changed

+15
-1
lines changed

2 files changed

+15
-1
lines changed

.gitpod.yml

+1-1
Original file line numberDiff line numberDiff line change
@@ -10,5 +10,5 @@ ports:
1010
onOpen: ignore
1111

1212
tasks:
13-
- init: ./aero.py --test --no-run
13+
- init: ./aero.py --no-run
1414
command: ./aero.py --only-run

aero.py

+14
Original file line numberDiff line numberDiff line change
@@ -645,6 +645,20 @@ def main():
645645

646646
if args.only_run:
647647
iso_path = os.path.join(BUILD_DIR, 'aero.iso')
648+
649+
if not os.path.exists(iso_path):
650+
user_bins = build_userland(args)
651+
652+
if not user_bins:
653+
return
654+
655+
kernel_bin = build_kernel(args)
656+
657+
if not kernel_bin or args.check:
658+
return
659+
660+
kernel_bin = kernel_bin[0]
661+
iso_path = prepare_iso(args, kernel_bin, user_bins)
648662
run_in_emulator(args, iso_path)
649663
elif args.clean:
650664
src_target = os.path.join('src', 'target', args.target)

0 commit comments

Comments
 (0)