From 93fa89c069f41decc1147f7682a2815d43be4c12 Mon Sep 17 00:00:00 2001
From: billyh <unknown>
Date: Mon, 6 Nov 2017 16:22:10 -0500
Subject: [PATCH] 8186699: Clean up extra Derby files Reviewed-by: asemenyuk

---
 make/Images.gmk | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/make/Images.gmk b/make/Images.gmk
index 3560f8c58..48b4d0f51 100644
--- a/make/Images.gmk
+++ b/make/Images.gmk
@@ -550,6 +550,9 @@ ifndef OPENJDK
 	$(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) $@
 
-- 
GitLab