From: bangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Mon, 17 Mar 2008 03:29:06 +0000 (+0000)
Subject: Provide correct include file for abort().
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4ea0a7411f58a81c5b204b6a8f8ed0a233d91e99;p=dealii-svn.git

Provide correct include file for abort().

git-svn-id: https://svn.dealii.org/trunk@15893 0785d39b-7218-0410-832d-ea1e28bc413d
---

diff --git a/deal.II/common/scripts/make_dependencies.cc b/deal.II/common/scripts/make_dependencies.cc
index 158aed9334..115ccc3abe 100644
--- a/deal.II/common/scripts/make_dependencies.cc
+++ b/deal.II/common/scripts/make_dependencies.cc
@@ -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