From dcb3bdaa83c24e5d9fb0aa73ec928e055ba05416 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= Date: Fri, 1 Sep 2023 14:40:54 +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 --- createrelease | 1 + 1 file changed, 1 insertion(+) diff --git a/createrelease b/createrelease index 0a98f850266..1373f44aee6 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: