From: Eric Heien Date: Fri, 28 Sep 2012 18:24:15 +0000 (+0000) Subject: Change make_dependencies to ignore -D command line options rather than error out X-Git-Tag: v8.0.0~1994 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bb44a0588d2e44f22f7a402f8bbe58a3a82b34ae;p=dealii.git Change make_dependencies to ignore -D command line options rather than error out git-svn-id: https://svn.dealii.org/trunk@26857 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/common/scripts/make_dependencies.cc b/deal.II/common/scripts/make_dependencies.cc index 7f105ea77b..275bac2c7a 100644 --- a/deal.II/common/scripts/make_dependencies.cc +++ b/deal.II/common/scripts/make_dependencies.cc @@ -430,6 +430,10 @@ int main (int argc, char **argv) if (basepath[basepath.size()-1] != '/') basepath += '/'; } + // if string starts with -D, + // it is a define so can + // be ignored + else if ((arg.length()>2) && (arg[0]=='-') && (arg[1]=='D')) {} // if string is -n, // then use new-style format else if ((arg.length()==2) && (arg[0]=='-') && (arg[1]=='n'))