diff options
| author | root <root@rshg054.dnsready.net> | 2012-09-17 00:03:15 +0000 |
|---|---|---|
| committer | root <root@rshg054.dnsready.net> | 2012-09-17 00:03:15 +0000 |
| commit | d1d75c37c446dfbe9cbae503300e17f2973dbf44 (patch) | |
| tree | b456fdc00f58cc15c7faf27ed12dfc9a0f8741b4 /core/make/make.install | |
| parent | 50634781b5673a447953e357a63baa66515ec868 (diff) | |
Mon Sep 17 00:03:15 UTC 2012
Diffstat (limited to 'core/make/make.install')
| -rw-r--r-- | core/make/make.install | 4 |
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 |