diff --git a/make/Images.gmk b/make/Images.gmk index 3560f8c58ca95733ec9987e90cc9e907c69c3ab9..48b4d0f51351087cc820376debc916456314d19a 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) $@