# make sure there's a makefile there.
if [ -f "$burlap51/makefile" ]; then
#echo "inside barriers, with filename=$burlap51 and all conditions met."
- pushd "$burlap51"
+ pushd "$burlap51" &>/dev/null
make --silent -I "$CLAM_DIR" NOT_FIRST_MAKE=t
- popd
+ popd &>/dev/null
else
- echo "Skipping makefile-less directory $burlap51..."
+ echo "(skipping directory $burlap51)"
fi
done
}