From b92e8da1b7b48321be8a8c5951af27914aeb8952 Mon Sep 17 00:00:00 2001 From: James Aimonetti Date: Tue, 16 May 2023 10:49:32 -0700 Subject: Make parent directory of ESCRIPT_ZIP_FILE ESCRIPT_ZIP is the executable, should ensure the parent directory of ESCRIPT_SIP_FILE exists first. --- plugins/escript.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plugins/escript.mk b/plugins/escript.mk index 3719684..2719a03 100644 --- a/plugins/escript.mk +++ b/plugins/escript.mk @@ -29,7 +29,7 @@ help:: escript-zip:: FULL=1 escript-zip:: deps app - $(verbose) mkdir -p $(dir $(ESCRIPT_ZIP)) + $(verbose) mkdir -p $(dir $(ESCRIPT_ZIP_FILE)) $(verbose) rm -f $(ESCRIPT_ZIP_FILE) $(gen_verbose) cd .. && $(ESCRIPT_ZIP) $(ESCRIPT_ZIP_FILE) $(PROJECT)/ebin/* ifneq ($(DEPS),) -- cgit v1.2.3