]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Remove unnecessary inclusion of global make options since they are overwritten anyway.
authorWolfgang Bangerth <bangerth@math.tamu.edu>
Tue, 25 Aug 1998 12:58:18 +0000 (12:58 +0000)
committerWolfgang Bangerth <bangerth@math.tamu.edu>
Tue, 25 Aug 1998 12:58:18 +0000 (12:58 +0000)
git-svn-id: https://svn.dealii.org/trunk@512 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/deal.II/source/Makefile

index af226cb8140bc97a430f4b2209e6f0ca5e205f59..28d8cc34ebdabfb254b583834c916a6877021915 100644 (file)
@@ -6,8 +6,6 @@
 #it gives you quicker compile time and annoys those FEATFLOW
 #people ;-)
 
-include ../Make.global_options
-
 
 cc-files = $(wildcard */*.cc)
 h-files  = $(wildcard ../include/*/*.h)

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.