clean.sh needs to call "run_phase clean" for external plugins

Change-Id: I67b970992479e50dc054f8c4a77a20e724e3e305
This commit is contained in:
Al Miller 2015-02-20 08:10:41 -08:00
parent aa8d31ac8b
commit a1701fabcf

View File

@ -76,6 +76,8 @@ fi
# ========== # ==========
# Phase: clean # Phase: clean
run_phase clean
if [[ -d $TOP_DIR/extras.d ]]; then if [[ -d $TOP_DIR/extras.d ]]; then
for i in $TOP_DIR/extras.d/*.sh; do for i in $TOP_DIR/extras.d/*.sh; do
[[ -r $i ]] && source $i clean [[ -r $i ]] && source $i clean