diff --git a/build-support/factor.sh b/build-support/factor.sh index 52a989b78d..35ee32706c 100755 --- a/build-support/factor.sh +++ b/build-support/factor.sh @@ -493,7 +493,11 @@ copy_fresh_image() { } bootstrap() { - ./$FACTOR_BINARY -i=$BOOT_IMAGE + if [[ -z $NO_UI ]]; then + ./$FACTOR_BINARY -i=$BOOT_IMAGE + else + ./$FACTOR_BINARY -i=$BOOT_IMAGE -exclude="ui ui.tools" + fi copy_fresh_image }