From f4dfddfaf3f6a0e12ce0398e9dca26bf5dd00732 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tim=20R=C3=BChsen?= Date: Fri, 21 Feb 2020 21:56:55 +0100 Subject: [PATCH] * cfg.mk: Exclude sc_prohibit_gnu_make_extensions --- cfg.mk | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/cfg.mk b/cfg.mk index 7a238ace..04f486e8 100644 --- a/cfg.mk +++ b/cfg.mk @@ -28,7 +28,8 @@ local-checks-to-skip = \ sc_program_name \ sc_makefile_at_at_check \ sc_cast_of_argument_to_free \ - sc_prohibit_undesirable_word_seq + sc_prohibit_undesirable_word_seq \ + sc_prohibit_gnu_make_extensions #SHELL=bash -x show-vc-list-except: