comparison SCRIPTS/process.sh @ 43:563827464628

If building from clean, always re-run configure as well
author Chris Cannam
date Thu, 07 Aug 2014 13:01:57 +0100
parents b57cdd4f273e
children 0036098a5edb
comparison
equal deleted inserted replaced
42:b57cdd4f273e 43:563827464628
174 done 174 done
175 } 175 }
176 176
177 configure_maybe() { 177 configure_maybe() {
178 dir="$1" 178 dir="$1"
179 mfile=$(find_makefile "$dir") 179 if [ t"$do_rebuild" = t"yes" ]; then
180 if [ -z "$mfile" ]; then 180 configure "$dir"
181 configure "$dir" 181 else
182 mfile=$(find_makefile "$dir")
183 if [ -z "$mfile" ]; then
184 configure "$dir"
185 fi
182 fi 186 fi
183 } 187 }
184 188
185 target_for() { 189 target_for() {
186 dir="$1" 190 dir="$1"