From: Ben Gras Date: Mon, 26 Sep 2005 14:06:59 +0000 (+0000) Subject: Wipe image in case a small image called image is lying around X-Git-Tag: v3.1.0~6 X-Git-Url: http://zhaoyanbai.com/repos/dnssec-settime.html?a=commitdiff_plain;h=b60f9033961a8682d47a634c42a9cb3f0ca4e31a;p=minix.git Wipe image in case a small image called image is lying around (don't ask) --- diff --git a/tools/release.sh b/tools/release.sh index df48dd545..3bfbe6a65 100755 --- a/tools/release.sh +++ b/tools/release.sh @@ -211,6 +211,7 @@ umount $TMPDISK2 || exit umount $RAM || exit (cd ../boot && make) (cd .. && make depend) +make clean make image || exit 1 cp image image_big make clean