From 3bdd14996255c3c058f256b40a3c25c9fa30dedb Mon Sep 17 00:00:00 2001 From: guido Date: Thu, 12 May 2005 14:04:45 +0000 Subject: [PATCH] I forgot to include Make.global_options git-svn-id: https://svn.dealii.org/trunk@10668 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/examples/Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/deal.II/examples/Makefile b/deal.II/examples/Makefile index 7ad6b08de4..f4faf91083 100644 --- a/deal.II/examples/Makefile +++ b/deal.II/examples/Makefile @@ -1,6 +1,8 @@ # $Id$ # # This Makefile only recurses into the subdirs +include ../common/Make.global_options + all: default # existing examples. take dirnames and strip 'step' -- 2.39.5