From 3e93d3599c75a423795ea67366681544ce06b971 Mon Sep 17 00:00:00 2001
From: Doug Coleman <doug.coleman@gmail.com>
Date: Wed, 19 Nov 2008 17:00:35 -0600
Subject: [PATCH] make a copy of your boot image before deleting it
---
build-support/factor.sh | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/build-support/factor.sh b/build-support/factor.sh
index 1a4aa9f965..b2b6ad1ff9 100755
--- a/build-support/factor.sh
+++ b/build-support/factor.sh
@@ -374,6 +374,7 @@ backup_factor() {
$ECHO "Backing up factor..."
$COPY $FACTOR_BINARY $FACTOR_BINARY.bak
$COPY $FACTOR_LIBRARY $FACTOR_LIBRARY.bak
+ $COPY $BOOT_IMAGE $BOOT_IMAGE.bak
$COPY $FACTOR_IMAGE $FACTOR_IMAGE.bak
$ECHO "Done with backup."
}
@@ -406,7 +407,8 @@ make_factor() {
update_boot_images() {
echo "Deleting old images..."
$DELETE checksums.txt* > /dev/null 2>&1
- $DELETE $BOOT_IMAGE.* > /dev/null 2>&1
+ # delete boot images with one or two characters after the dot
+ $DELETE $BOOT_IMAGE.{?,??} > /dev/null 2>&1
$DELETE temp/staging.*.image > /dev/null 2>&1
if [[ -f $BOOT_IMAGE ]] ; then
get_url http://factorcode.org/images/latest/checksums.txt