diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-07-24 14:53:22 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-07-24 14:53:22 +0100 |
commit | f73bef95b39f4fbc8f0278c26ad1534e5eec322f (patch) | |
tree | 64bc7f001d8ccd5ed51b0a301b91aad797e72ac5 /dev-util/herdtools7/files | |
parent | 28267a5e528b273fbd1b0f5f52ecaab4b03016ab (diff) |
gentoo auto-resync : 24:07:2022 - 14:53:22
Diffstat (limited to 'dev-util/herdtools7/files')
-rw-r--r-- | dev-util/herdtools7/files/herdtools7-7.47-mkdir.patch | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/dev-util/herdtools7/files/herdtools7-7.47-mkdir.patch b/dev-util/herdtools7/files/herdtools7-7.47-mkdir.patch deleted file mode 100644 index 5c45f880ea1a..000000000000 --- a/dev-util/herdtools7/files/herdtools7-7.47-mkdir.patch +++ /dev/null @@ -1,21 +0,0 @@ -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" |