Revision 130:d659ed4b9197 SCRIPTS/process.sh

View differences:

SCRIPTS/process.sh
342 342
rebuild() {
343 343
    local dir="$1"
344 344
    local log=$(logfile_for build "$dir")
345
    repoint "$dir"
345 346
    if configure_maybe "$dir"; then
346 347
	mfile=$(find_makefile "$dir")
347 348
	if [ -n "$mfile" ]; then

Also available in: Unified diff