Add -include */petscdir.mk to makefile that lacked it

for i in `git ls-files | grep makefile | xargs grep -L petscdir.mk`; do
echo $i ;
str=`echo $i |sed -e 's?[-a-zA-Z0-9]*/?../?g' -e 's?makef

Add -include */petscdir.mk to makefile that lacked it

for i in `git ls-files | grep makefile | xargs grep -L petscdir.mk`; do
echo $i ;
str=`echo $i |sed -e 's?[-a-zA-Z0-9]*/?../?g' -e 's?makefile?petsckdir.mk?g'` ;
cp $i tmp
echo "-include $str" > $i
cat tmp >> $i
done

Commit-type: makefile, housekeeping
/spend 15m

show more ...