comparison sources/toys/native-build.sh @ 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 82a4e3d3a5ff
children 29109240fd6d
comparison
equal deleted inserted replaced
1305:21da6f34f3fb 1306:8e10d025f1a5
71 71
72 export HDC="$HDCFILE" 72 export HDC="$HDCFILE"
73 NATIVE_BUILD="$(echo "$HDCFILE" | sed -e 's@.*/@@' -e 's@[.]hdc$@@')" 73 NATIVE_BUILD="$(echo "$HDCFILE" | sed -e 's@.*/@@' -e 's@[.]hdc$@@')"
74 export KERNEL_EXTRA="FTP_SERVER=$FTP_SERVER FTP_PORT=$FTP_PORT NATIVE_BUILD=$NATIVE_BUILD $KERNEL_EXTRA" 74 export KERNEL_EXTRA="FTP_SERVER=$FTP_SERVER FTP_PORT=$FTP_PORT NATIVE_BUILD=$NATIVE_BUILD $KERNEL_EXTRA"
75 75
76 rm -f hdb.img 76 [ -z "$HDB" ] && rm -f hdb.img
77 ./dev-environment.sh 77 ./dev-environment.sh
78 78
79 echo === End native build 79 echo === End native build