diff options
Diffstat (limited to 'Makefile.distrib')
-rw-r--r-- | Makefile.distrib | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.distrib b/Makefile.distrib index a899b886da..51375f20ac 100644 --- a/Makefile.distrib +++ b/Makefile.distrib @@ -126,6 +126,9 @@ install : $(TOOLS_JAR_ARCHIVE) $(shell cd $(TEST_ROOT)/files; ls $(TEST_LIST:%.scala=%.flags) 2>/dev/null) \ $(INSTALL_TESTDIR)/files) $(strip $(MIRROR) -m 644 -p -C $(TEST_ROOT)/files \ + $(shell cd $(TEST_ROOT)/files; ls $(TEST_LIST:%.scala=%.args) 2>/dev/null) \ + $(INSTALL_TESTDIR)/files) + $(strip $(MIRROR) -m 644 -p -C $(TEST_ROOT)/files \ $(shell cd $(TEST_ROOT)/files; ls $(TEST_LIST:%.scala=%.dtd) 2>/dev/null) \ $(INSTALL_TESTDIR)/files) $(strip $(MIRROR) -m 644 -p -C $(TEST_ROOT)/files \ |