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 ...

remove garbage from makefiles

Including
* unused FLAGS variables
* All: lib that did not work
* stray blank lines etc

Commit-type: housekeeping
/spend 1h

Remove PetscCheckFalse() from sys directory

Commit-type: housekeeping
/spend 30m