More --source cleanup

This commit is contained in:
2023-01-29 18:01:10 -05:00
parent 7370fb688d
commit f82e32f88a

View File

@@ -624,11 +624,6 @@ fromSource() {
pushd "$GITWORKTREEDIR" &>/dev/null || return 1 pushd "$GITWORKTREEDIR" &>/dev/null || return 1
# make clean # compiled output
# make targetclean # compiled output, toolchain
# make dirclean # compiled output, toolchain, build tools
make distclean # compiled output, toolchain, build tools, .config, feeds, .ccache
# Grab the release seed config # Grab the release seed config
if ! curl -so "$SEED_FILE" "$SEED_URL"; then if ! curl -so "$SEED_FILE" "$SEED_URL"; then
echo "Could not obtain $SEED_FILE from $SEED_URL" echo "Could not obtain $SEED_FILE from $SEED_URL"
@@ -690,6 +685,15 @@ fromSource() {
# Make image # Make image
(( DEBUG )) && make_opts+=("V=s") (( DEBUG )) && make_opts+=("V=s")
# Cleaning modes
# make clean # compiled output
# make targetclean # compiled output, toolchain
# make dirclean # compiled output, toolchain, build tools
# make distclean # compiled output, toolchain, build tools, .config, feeds, .ccache
debug "make ${make_opts[*]} dirclean"
make "${make_opts[@]}" dirclean
debug "make ${make_opts[*]} download" debug "make ${make_opts[*]} download"
make "${make_opts[@]}" download make "${make_opts[@]}" download
debug "make ${make_opts[*]} -j$(nproc) world" debug "make ${make_opts[*]} -j$(nproc) world"