From 8257d884d59765066a867c0f0e76477b220ca77c Mon Sep 17 00:00:00 2001 From: Franco Fichtner Date: Fri, 4 Jan 2019 09:12:53 +0100 Subject: [PATCH] make: slightly change this, need this for plugins too --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index ea089a504..8484ff1c8 100644 --- a/Makefile +++ b/Makefile @@ -398,7 +398,7 @@ mfc: clean-mfcdir @mv ${MFCDIR}/$$(basename ${MFC}) ${MFC} @git add . @if ! git diff --quiet HEAD; then \ - git commit -m "mfc: sync ${MFC}"; \ + git commit -m "${MFC}: sync with master"; \ fi .else @git checkout stable/${CORE_ABI}