From ed5d03ee63e2a7bb35a76f23a7dd6b53e2f8feae Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= Date: Fri, 1 Sep 2023 18:36:38 +0200 Subject: [PATCH] createrelease: in release branches it's preferable that dmake is executed with --release in the ci when checking the integrity of the Makefile [skip ci] (#5391) --- createrelease | 1 + 1 file changed, 1 insertion(+) diff --git a/createrelease b/createrelease index 0a98f8502..1373f44ae 100755 --- a/createrelease +++ b/createrelease @@ -45,6 +45,7 @@ # # Update the Makefile: # make dmake && ./dmake --release +# Uppdatera CI så att dmake körs med --release # git commit -a -m "2.8: Updated Makefile" # # Tag: