From: Wolfgang Bangerth Date: Tue, 25 Aug 1998 12:58:18 +0000 (+0000) Subject: Remove unnecessary inclusion of global make options since they are overwritten anyway. X-Git-Tag: v8.0.0~22742 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=67371b83e4be7bd1e04816ecefaa483d6a844806;p=dealii.git Remove unnecessary inclusion of global make options since they are overwritten anyway. git-svn-id: https://svn.dealii.org/trunk@512 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/deal.II/source/Makefile b/deal.II/deal.II/source/Makefile index af226cb814..28d8cc34eb 100644 --- a/deal.II/deal.II/source/Makefile +++ b/deal.II/deal.II/source/Makefile @@ -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)