File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -452,18 +452,18 @@ function detect_cpus {
452452
453453 if [ -z " $CPUS " ]; then
454454 # If there's no more accurate guess, running make with 4 processes works
455- # well enough on typical hardware circa 2012.
455+ # well enough on typical hardware circa 2012.
456456 CPUS=4
457457 fi
458458}
459459
460460function build {
461461 cd $PGSRC /$PGPROJECT
462- if [ -f GNUmakefile ] ; then
463- echo WARNING: Build found an existing GNUmakefile, not running configure again
464- else
465- ./configure --prefix= $PGINST / $PGPROJECT --enable-depend --enable-thread-safety $PGDEBUG
466- fi
462+
463+ $PGMAKE distclean # always clean first, files in working dir may belong to
464+ # may belong to the branch we just checked out of
465+
466+ ./configure --prefix= $PGINST / $PGPROJECT --enable-depend --enable-thread-safety $PGDEBUG
467467
468468 detect_cpus
469469 if [ -z " $CPUS " ] ; then
You can’t perform that action at this time.
0 commit comments