changeset 1306:8e10d025f1a5

Don't delete hdb.img if user specified an $HDB image. (It's caller's responsibility to make sure that the scratch disk is in a usable state.)
author Rob Landley <rob@landley.net>
date Wed, 01 Dec 2010 03:02:34 -0600
parents 21da6f34f3fb
children 6ea4204209d0
files sources/toys/native-build.sh
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/sources/toys/native-build.sh	Sun Nov 28 22:09:12 2010 -0600
+++ b/sources/toys/native-build.sh	Wed Dec 01 03:02:34 2010 -0600
@@ -73,7 +73,7 @@
 NATIVE_BUILD="$(echo "$HDCFILE" | sed -e 's@.*/@@' -e 's@[.]hdc$@@')"
 export KERNEL_EXTRA="FTP_SERVER=$FTP_SERVER FTP_PORT=$FTP_PORT NATIVE_BUILD=$NATIVE_BUILD $KERNEL_EXTRA"
 
-rm -f hdb.img
+[ -z "$HDB" ] && rm -f hdb.img
 ./dev-environment.sh
 
 echo === End native build