From 4ea0a7411f58a81c5b204b6a8f8ed0a233d91e99 Mon Sep 17 00:00:00 2001
From: bangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Mon, 17 Mar 2008 03:29:06 +0000
Subject: [PATCH] Provide correct include file for abort().

git-svn-id: https://svn.dealii.org/trunk@15893 0785d39b-7218-0410-832d-ea1e28bc413d
---
 deal.II/common/scripts/make_dependencies.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
-- 
2.39.5