From 65d7e3fad1734a5b566d3f6c408514151bc07756 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Sun, 17 May 2020 19:55:59 -0700 Subject: [PATCH] build.sh: make_boot_image can just use -run=bootstrap.image. --- build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.sh b/build.sh index fb1e4e4b49..c7647f9478 100755 --- 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 } -- 2.34.1