- if [ -f "$builddir/config.${pldistro}.svpath" && ! -d "$builddir/config.${pldistro}" ] ; then
- make -C $builddir stage1=true config.${pldistro}
+ if [[ -f "$builddir/config.${pldistro}.svnpath" && ! -d "$builddir/config.${pldistro}" ]] ; then
+ echo 1>&2 "Invoking make to extract remote config.${pldistro}"
+ make 1>&2 --silent --no-print-directory -C $builddir stage1=true config.${pldistro}