include $(TOP)/mk/boilerplate.mk
include $(TOP)/mk/should_compile.mk
-SRC_HC_OPTS += -noC -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.)
-rn017_HC_OPTS = -hi -hi-with-exports
-rn025_HC_OPTS = -hi -hi-with-exports
+# rn017_HC_OPTS = -hi -hi-with-exports
+# rn025_HC_OPTS = -hi -hi-with-exports
+# Rn037Help_HC_OPTS = -hi
include $(TOP)/mk/target.mk