+generating header_tmp directory

diff --git a/install_headers.sh b/install_headers.sh
index 3c667b7decf42d1618af61ab54db0c6dd9d81231..66624fc45cc374bdcfa563ddb7f660719b2399aa 100644 (file)
--- 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}"