]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Change make_dependencies to ignore -D command line options rather than error out
authorheien <heien@0785d39b-7218-0410-832d-ea1e28bc413d>
Fri, 28 Sep 2012 18:24:15 +0000 (18:24 +0000)
committerheien <heien@0785d39b-7218-0410-832d-ea1e28bc413d>
Fri, 28 Sep 2012 18:24:15 +0000 (18:24 +0000)
git-svn-id: https://svn.dealii.org/trunk@26857 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/common/scripts/make_dependencies.cc

index 7f105ea77b3b8b4c3f77d48709e9c7cbf1b32756..275bac2c7a24a0de461ecc8215069b6fc0ec2e24 100644 (file)
@@ -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'))

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.