From 95498491a233e8df03e8a52704922f4fb72ed2d7 Mon Sep 17 00:00:00 2001 From: Franco Fichtner Date: Wed, 27 Jan 2021 11:10:10 +0100 Subject: [PATCH] make: mfc target may not exist, it's ok --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 02d162486..f8d6f0f2f 100644 --- a/Makefile +++ b/Makefile @@ -418,9 +418,9 @@ mfc: ensure-stable clean-mfcdir .if exists(${MFC}) @cp -r ${MFC} ${MFCDIR} @git checkout stable/${CORE_ABI} - @rm -r ${MFC} + @rm -rf ${MFC} @mv ${MFCDIR}/$$(basename ${MFC}) ${MFC} - @git add . + @git add -f . @if ! git diff --quiet HEAD; then \ git commit -m "${MFC}: sync with master"; \ fi