]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Provide correct include file for abort().
authorbangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Mon, 17 Mar 2008 03:29:06 +0000 (03:29 +0000)
committerbangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Mon, 17 Mar 2008 03:29:06 +0000 (03:29 +0000)
git-svn-id: https://svn.dealii.org/trunk@15893 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/common/scripts/make_dependencies.cc

index 158aed9334698cdcb8aa2583f4993e73de75287a..115ccc3abef2a1293b7ca1e64241c85e9cc350c5 100644 (file)
@@ -41,6 +41,7 @@
 #include <set>
 #include <vector>
 #include <cassert>
+#include <cstdlib>
 
                                  // base path for object files,
                                  // including trailing slash if
@@ -150,7 +151,7 @@ void determine_direct_includes (const std::string &file)
        {
          std::cerr << "Include file name empty in file <" << file << "> line: " << std::endl
                    << line << std::endl;
-         abort();
+         std::abort();
        }
       
                                        // next try to locate the file

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.