]> https://gitweb.dealii.org/ - dealii.git/commit
When doing 'make clean', also remove *.inst files. Not doing so can lead to really...
authorWolfgang Bangerth <bangerth@math.tamu.edu>
Sat, 23 Jan 2010 03:49:58 +0000 (03:49 +0000)
committerWolfgang Bangerth <bangerth@math.tamu.edu>
Sat, 23 Jan 2010 03:49:58 +0000 (03:49 +0000)
commite8453716566bae514d1ae616f82682d1334611fa
tree581bd297ec4f42be23983dbed024f257e1d056c1
parentebcabe424cc24c7eaa20ebc1d6517cd2777cd07b
When doing 'make clean', also remove *.inst files. Not doing so can lead to really awkward problems when you ^C the program that creates the *.inst files -- they end up empty, but have a newer date than the .inst.in file. Compiling everything then leads to missing symbols, but doing 'make clean ; make all' doesn't help any because the .inst files are not regenerated.

git-svn-id: https://svn.dealii.org/trunk@20420 0785d39b-7218-0410-832d-ea1e28bc413d
deal.II/base/Makefile
deal.II/deal.II/Makefile
deal.II/lac/Makefile

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.