Merge "clean.sh needs to load plugin settings."

This commit is contained in:
Jenkins 2015-04-16 19:19:05 +00:00 committed by Gerrit Code Review
commit cb88e2b7cb

View File

@ -76,6 +76,7 @@ fi
# ========== # ==========
# Phase: clean # Phase: clean
load_plugin_settings
run_phase clean run_phase clean
if [[ -d $TOP_DIR/extras.d ]]; then if [[ -d $TOP_DIR/extras.d ]]; then