diff options
-rwxr-xr-x | scripts/loop.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/loop.py b/scripts/loop.py index f7b82bf..355275c 100755 --- a/scripts/loop.py +++ b/scripts/loop.py @@ -58,6 +58,7 @@ def measure(kernelimg, con): os.symlink(kernelimg, sf(conf.jobfolder_linux_image)) boot.boot(con) print("Configuration '" + con.hash + "' measured.") + os.remove(sf(conf.build_folder) + '/' + kernelimg) __confs_prepared__.remove(con.hash) # Multithread # |