diff --git a/src/Make.sh b/src/Make.sh index f2feb8f101..94c8af8b50 100644 --- a/src/Make.sh +++ b/src/Make.sh @@ -4,6 +4,8 @@ # sh Make.sh Makefile.list # function to create one style_*.h file +# must whack *.d files that depend on style_*.h file, +# else Make will not recreate them style () { list=`grep -l $1 $2*.h` @@ -20,9 +22,11 @@ style () { elif (test ! -e style_$3.h) then mv style_$3.tmp style_$3.h rm -f Obj_*/$4.d + rm -f Obj_*/lammps.d elif (test "`diff --brief style_$3.h style_$3.tmp`" != "") then mv style_$3.tmp style_$3.h rm -f Obj_*/$4.d + rm -f Obj_*/lammps.d else rm -f style_$3.tmp fi