comparison SCRIPTS/process.sh @ 130:d659ed4b9197

Another point to run repoint
author Chris Cannam
date Thu, 07 Feb 2019 11:48:53 +0000
parents 89f0fef1fccd
children 85e84012311b
comparison
equal deleted inserted replaced
129:89f0fef1fccd 130:d659ed4b9197
340 } 340 }
341 341
342 rebuild() { 342 rebuild() {
343 local dir="$1" 343 local dir="$1"
344 local log=$(logfile_for build "$dir") 344 local log=$(logfile_for build "$dir")
345 repoint "$dir"
345 if configure_maybe "$dir"; then 346 if configure_maybe "$dir"; then
346 mfile=$(find_makefile "$dir") 347 mfile=$(find_makefile "$dir")
347 if [ -n "$mfile" ]; then 348 if [ -n "$mfile" ]; then
348 if make -C "$dir" -f "$mfile" distclean; then 349 if make -C "$dir" -f "$mfile" distclean; then
349 build "$dir" 350 build "$dir"