From b239c3b6056689215778972d32940670e03bc21a Mon Sep 17 00:00:00 2001 From: Doug Coleman Date: Sat, 15 Aug 2009 14:25:16 -0500 Subject: [PATCH] fix factor.sh for a couple of modes that nobody has used in a long time --- build-support/factor.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/build-support/factor.sh b/build-support/factor.sh index d5b8bd5411..b179811bda 100755 --- a/build-support/factor.sh +++ b/build-support/factor.sh @@ -487,12 +487,12 @@ update_bootstrap() { } refresh_image() { - ./$FACTOR_BINARY -script -e="USE: vocabs.loader USE: system refresh-all USE: memory save 0 exit" + ./$FACTOR_BINARY -script -e="USING: vocabs.loader system memory ; refresh-all USE: memory save 0 exit" check_ret factor } make_boot_image() { - ./$FACTOR_BINARY -script -e="\"$MAKE_IMAGE_TARGET\" USE: system USE: bootstrap.image make-image save 0 exit" + ./$FACTOR_BINARY -script -e="\"$MAKE_IMAGE_TARGET\" USING: system bootstrap.image memory ; make-image save 0 exit" check_ret factor }