steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

build-support/factor.sh: fix quick-update (reported by tsculpt)

db4
Joe Groff 2011-07-29 21:05:21 -07:00
parent 44ba9e086e
commit 31afdfef50
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
build-support/factor.sh
View File

@ -539,7 +539,7 @@ update_bootstrap() {
} }
refresh_image() { 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 check_ret factor
} }