diff --git a/cfg.mk b/cfg.mk index 0bf5bfc1b629b65cd70a8124c43a3593674a292d..bb93c6abb9455cd36b18dee859d226b22be015aa 100644 --- a/cfg.mk +++ b/cfg.mk @@ -444,6 +444,11 @@ sc_prohibit_nonreentrant: done ; \ exit $$fail +sc_prohibit_select: + @prohibit="\\