From d3884c67ade95ad6ebfa534e4b3f5c3b990e7349 Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Mon, 20 Mar 2017 11:37:41 +0100 Subject: [PATCH] sd_card: remove disk image after test --- repos/os/run/sd_card.run | 2 ++ repos/os/run/sd_card_bench.run | 4 +++- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/repos/os/run/sd_card.run b/repos/os/run/sd_card.run index e982ffd9eb..fb8d6073b6 100644 --- a/repos/os/run/sd_card.run +++ b/repos/os/run/sd_card.run @@ -86,4 +86,6 @@ if { [file exists $disk_image] == 0 } then { run_genode_until forever +exec rm $disk_image + # vi: set ft=tcl : diff --git a/repos/os/run/sd_card_bench.run b/repos/os/run/sd_card_bench.run index b5f149f14f..841135539c 100644 --- a/repos/os/run/sd_card_bench.run +++ b/repos/os/run/sd_card_bench.run @@ -91,9 +91,9 @@ build_boot_image $boot_modules # If we run on qemu, provide a virtual disk # +set disk_image "bin/sd_card.img" if {[have_include power_on/qemu]} { - set disk_image "bin/sd_card.img" if { [file exists $disk_image] == 0 } then { catch { exec dd if=/dev/zero of=$disk_image bs=1M count=512 } } @@ -102,3 +102,5 @@ if {[have_include power_on/qemu]} { } run_genode_until "--- SD card benchmark finished ---" 120 + +exec rm -f $disk_image