From 9c4c4d3acf8f13e8d973180548837cc738e14aa2 Mon Sep 17 00:00:00 2001 From: Sacha Saint-Leger Date: Fri, 29 Jan 2021 13:16:23 +0100 Subject: [PATCH] Edit make update warning message (#18) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * edit make update warning message * fix shell syntax and reword the warning * add some newlines Co-authored-by: Ștefan Talpalaru --- makefiles/targets.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makefiles/targets.mk b/makefiles/targets.mk index 08155a8..0e7e31c 100644 --- a/makefiles/targets.mk +++ b/makefiles/targets.mk @@ -42,7 +42,7 @@ sanity-checks: warn-update: if [[ -e $(UPDATE_TIMESTAMP) ]]; then \ if [[ $$(cat $(UPDATE_TIMESTAMP)) -ne $$($(GET_CURRENT_COMMIT_TIMESTAMP)) ]]; then \ - echo -e "\n\"$$(basename "$(MAKE)") update\" was not executed for the current Git commit! The resulting build is unsupported.\n"; \ + echo -e "\nWarning: to ensure you are building in a supported repo state, please always run \"$$(basename "$(MAKE)") update\" after \"git pull\"\n(it looks like you've forgotten to do this).\nThis also applies whenever you switch to a new branch or commit, e.g.: whenever you run \"git checkout ...\".\n"; \ fi; \ fi