From 31afdfef50f5bfcec8c7a564f025bd65a1ce57f8 Mon Sep 17 00:00:00 2001 From: Joe Groff Date: Fri, 29 Jul 2011 21:05:21 -0700 Subject: [PATCH] build-support/factor.sh: fix quick-update (reported by tsculpt) --- build-support/factor.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build-support/factor.sh b/build-support/factor.sh index d01fdb8c30..3ddab4ba3d 100755 --- a/build-support/factor.sh +++ b/build-support/factor.sh @@ -539,7 +539,7 @@ update_bootstrap() { } refresh_image() { - ./$FACTOR_BINARY -script -e="USING: vocabs.loader system memory ; refresh-all USE: memory save 0 exit" + ./$FACTOR_BINARY -script -e="USING: vocabs.loader vocabs.refresh system memory ; refresh-all save 0 exit" check_ret factor }