diff options
Diffstat (limited to 'nt/makefile.w32-in')
| -rw-r--r-- | nt/makefile.w32-in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nt/makefile.w32-in b/nt/makefile.w32-in index 30a5f83ea00..f01ef4f98d1 100644 --- a/nt/makefile.w32-in +++ b/nt/makefile.w32-in @@ -264,7 +264,7 @@ maybe-copy-distfiles-CMD: doit maybe-copy-distfiles-SH: doit
@if [ ! $(ARGQUOTE)$(DIST_FILES)$(ARGQUOTE)=="" ] ; then \
- $(CP_DIR) $(DIST_FILES) $(TMP_DIST_DIR)/bin
+ $(CP_DIR) $(DIST_FILES) $(TMP_DIST_DIR)/bin ; \
fi
create-tmp-dist-dir:
|