]> gitweb.factorcode.org Git - factor.git/commitdiff
build-support/factor.sh: fix quick-update (reported by tsculpt)
authorJoe Groff <arcata@gmail.com>
Sat, 30 Jul 2011 04:05:21 +0000 (21:05 -0700)
committerJoe Groff <arcata@gmail.com>
Sat, 30 Jul 2011 04:05:21 +0000 (21:05 -0700)
build-support/factor.sh

index d01fdb8c30eeae70d9153f726e00d4750ce1593c..3ddab4ba3d5e689cba5a16adca289ae3fef784ed 100755 (executable)
@@ -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
 }