include $(TOP)/mk/boilerplate.mk
include $(TOP)/mk/should_compile.mk
-HC_OPTS += -dcore-lint
+SRC_HC_OPTS += -dcore-lint
# There used to be a -noC flag, but I removed it because
# Rn037Help needs to generate an interface file, and
# if -noC is on I can't see how to. (Driver grottiness.)