changeset 12917:7a83c4eb8979

8186699: Clean up extra Derby files Reviewed-by: asemenyuk
author billyh
date Mon, 06 Nov 2017 16:22:10 -0500
parents 837faf66d724
children eabb041d9bf9
files make/Images.gmk
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/make/Images.gmk	Thu Nov 02 11:35:41 2017 -0700
+++ b/make/Images.gmk	Mon Nov 06 16:22:10 2017 -0500
@@ -550,6 +550,9 @@
 	$(MKDIR) -p $(JDK_IMAGE_DIR)/db
 	cd $(JDK_IMAGE_DIR)/db && $(UNZIP) -q -o $< -x */index.html */KEYS */test/* *javadoc/* */docs/* */demo/* 2> /dev/null
 	cd $(JDK_IMAGE_DIR)/db && $(MV) db-derby-*-bin/* . && $(RM) -r db-derby-*-bin
+ifneq ($(OPENJDK_TARGET_OS), windows)
+	$(RM) $(JDK_IMAGE_DIR)/db/bin/*.bat
+endif
 	$(MKDIR) -p $(@D)
 	$(TOUCH) $@