mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-12 05:41:36 +00:00
run: remove files of seoul-auto script
This commit is contained in:
parent
a478213872
commit
90823eaf1d
@ -55,4 +55,8 @@ append qemu_args " -nographic "
|
||||
|
||||
run_genode_until {\[init -\> vancouver\] VMM: # Hello Genode world!} 300
|
||||
|
||||
foreach binary $guest_os_binaries {
|
||||
exec rm -f bin/$binary
|
||||
}
|
||||
|
||||
puts "Test succeeded"
|
||||
|
@ -398,3 +398,6 @@ if {$use_usb} {
|
||||
}
|
||||
|
||||
build_boot_image $boot_modules
|
||||
|
||||
# A copy of the config is placed in the run folder.
|
||||
exec rm -f bin/vm_linux.cfg
|
||||
|
Loading…
x
Reference in New Issue
Block a user