summaryrefslogtreecommitdiff
path: root/dev-util/herdtools7/files/herdtools7-7.47-mkdir.patch
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2018-07-14 21:03:06 +0100
committerV3n3RiX <venerix@redcorelinux.org>2018-07-14 21:03:06 +0100
commit8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 (patch)
tree7681bbd4e8b05407772df40a4bf04cbbc8afc3fa /dev-util/herdtools7/files/herdtools7-7.47-mkdir.patch
parent30a9caf154332f12ca60756e1b75d2f0e3e1822d (diff)
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-util/herdtools7/files/herdtools7-7.47-mkdir.patch')
-rw-r--r--dev-util/herdtools7/files/herdtools7-7.47-mkdir.patch21
1 files changed, 21 insertions, 0 deletions
diff --git a/dev-util/herdtools7/files/herdtools7-7.47-mkdir.patch b/dev-util/herdtools7/files/herdtools7-7.47-mkdir.patch
new file mode 100644
index 000000000000..5c45f880ea1a
--- /dev/null
+++ b/dev-util/herdtools7/files/herdtools7-7.47-mkdir.patch
@@ -0,0 +1,21 @@
+diff --git a/install.sh b/install.sh
+index 72f6163..e84c645 100755
+--- a/install.sh
++++ b/install.sh
+@@ -17,6 +17,16 @@ fi
+ BINDIR=$PREFIX/bin
+ LIBDIR=$PREFIX/share/herdtools7
+
++if ! [ -d $BINDIR ]
++then
++ mkdir -p $BINDIR
++fi
++
++if ! [ -d $LIBDIR ]
++then
++ mkdir -p $LIBDIR
++fi
++
+ cpbin () {
+ SUB=$1
+ EXECS="$2"