]> gitweb.factorcode.org Git - factor.git/commitdiff
build.sh: make_boot_image can just use -run=bootstrap.image.
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 18 May 2020 02:55:59 +0000 (19:55 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 18 May 2020 02:55:59 +0000 (19:55 -0700)
build.sh

index fb1e4e4b494853d742164263a0c7543260fef15c..c7647f9478d920f26a69f692b291870d596db753 100755 (executable)
--- 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
 }