diff --git a/cfg.mk b/cfg.mk index 4edbd02f979fc0deeb61c3a28c73e128b1c69600..cd3b515ce0d34f611d72dc1770ae3a6af6c90f68 100644 --- a/cfg.mk +++ b/cfg.mk @@ -454,20 +454,20 @@ sc_prohibit_nonreentrant: exit $$fail sc_prohibit_select: - @prohibit="\\