diff options
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 |