diff options
Diffstat (limited to 'Build/source/utils/xindy/binaries/Makefile.am')
-rw-r--r-- | Build/source/utils/xindy/binaries/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/utils/xindy/binaries/Makefile.am b/Build/source/utils/xindy/binaries/Makefile.am index bfa582e5c41..8c6f7a21071 100644 --- a/Build/source/utils/xindy/binaries/Makefile.am +++ b/Build/source/utils/xindy/binaries/Makefile.am @@ -36,7 +36,7 @@ endif xindy.mem: defaults.xdy $(FAS) base.mem $(XINDY_RUN) rm -f $@ $(RUN_XINDY) -x '(load "$(DUMP_XINDY)")' - test "$(host_os)" != "mingw32" && gzip -9n $@ && mv $@.gz $@ + if test "$(host_os)" != "mingw32"; then gzip -9n $@; mv $@.gz $@; fi defaults.xdy: @$(RM) $@ |