build.sh: make_boot_image can just use -run=bootstrap.image.

2020-05-17 19:55:59 -07:00 · 2020-05-17 19:55:59 -07:00 · 65d7e3fad1
parent d85d3e861c
commit 65d7e3fad1
1 changed files with 1 additions and 1 deletions
--- a/build.sh
+++ b/build.sh
@ -716,7 +716,7 @@ refresh_image() {
 }

 make_boot_image() {
-    ./$FACTOR_BINARY -e="\"$MAKE_IMAGE_TARGET\" USING: system bootstrap.image memory ; make-image save 0 exit"
+    ./$FACTOR_BINARY -run="bootstrap.image" "$MAKE_IMAGE_TARGET"
    check_ret factor
 }