summaryrefslogtreecommitdiff
path: root/core/make/make.install
diff options
context:
space:
mode:
authorroot <root@rshg054.dnsready.net>2012-09-17 00:03:15 +0000
committerroot <root@rshg054.dnsready.net>2012-09-17 00:03:15 +0000
commitd1d75c37c446dfbe9cbae503300e17f2973dbf44 (patch)
treeb456fdc00f58cc15c7faf27ed12dfc9a0f8741b4 /core/make/make.install
parent50634781b5673a447953e357a63baa66515ec868 (diff)
Mon Sep 17 00:03:15 UTC 2012
Diffstat (limited to 'core/make/make.install')
-rw-r--r--core/make/make.install4
1 files changed, 2 insertions, 2 deletions
diff --git a/core/make/make.install b/core/make/make.install
index 6cf8b0dc4..84260853c 100644
--- a/core/make/make.install
+++ b/core/make/make.install
@@ -2,7 +2,7 @@ infodir=usr/share/info
filelist=(make.info make.info-1 make.info-2)
post_install() {
- [ -x usr/bin/install-info ] || return 0
+ [[ -x usr/bin/install-info ]] || return 0
for file in ${filelist[@]}; do
install-info $infodir/$file.gz $infodir/dir 2> /dev/null
done
@@ -13,7 +13,7 @@ post_upgrade() {
}
pre_remove() {
- [ -x usr/bin/install-info ] || return 0
+ [[ -x usr/bin/install-info ]] || return 0
for file in ${filelist[@]}; do
install-info --delete $infodir/$file.gz $infodir/dir 2> /dev/null
done