From 95317e89248acd51db5f937a1a7cf6c0e2662ca8 Mon Sep 17 00:00:00 2001
From: bg <daniel.otte@rub.de>
Date: Wed, 19 Sep 2012 18:09:56 +0200
Subject: [PATCH] +generating header_tmp directory

---
 install_headers.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/install_headers.sh b/install_headers.sh
index 3c667b7..66624fc 100644
--- a/install_headers.sh
+++ b/install_headers.sh
@@ -9,6 +9,10 @@ OWNER="root"
 GROUP="root"
 MODE="644"
 
+if [ ! -d header_tmp ]; then
+  mkdir header_tmp
+fi
+
 for i in `cat $SRC_FILE`; do
   x=`echo $i | sed 's#^.*/##g'`
   sed -f header_install_modifier.sed "${i}" > "header_tmp/${x}"
-- 
2.39.5