diff options
Diffstat (limited to 'distrib')
| -rw-r--r-- | distrib/Makefile-bin.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/distrib/Makefile-bin.in b/distrib/Makefile-bin.in index 60a6b941af..ebd59e588c 100644 --- a/distrib/Makefile-bin.in +++ b/distrib/Makefile-bin.in @@ -231,7 +231,7 @@ install-bin: if test -n "$$i" ; then $(INSTALL_BIN) bin/$(platform)/$$i$(exeext) $(bindir); fi; \ done; for i in $(PACKAGE_OPT_BINS) ""; do \ - if test -n "$$i" -a ! -s "$(bindir)/$$i" ; then $(INSTALL_BIN) bin/$(platform)/$$i$(exeext) $(bindir); fi; \ + if test -n "$$i" -a ! -f "$(bindir)/$$i" ; then $(INSTALL_BIN) bin/$(platform)/$$i$(exeext) $(bindir); fi; \ done; @for i in $(VERSION_SYMLINKS_FOR) ""; do \ if [ "x$$i" != "x" ]; then \ |