diff --git a/lang/basic/src/proto.make b/lang/basic/src/proto.make index 6cc038b9b..0c4ceaaa7 100644 --- a/lang/basic/src/proto.make +++ b/lang/basic/src/proto.make @@ -91,6 +91,8 @@ make_macros: Makefile echo 'COPTIONS=$(COPTIONS)' >> make_macros echo 'LDOPTIONS=$(LDOPTIONS)' >> make_macros echo 'LINT=$(LINT)' >> make_macros + echo 'LINTSUF=$(LINTSUF)' >> make_macros + echo 'LINTPREF=$(LINTPREF)' >> make_macros echo 'LINTOPTIONS=$(LINTOPTIONS)' >> make_macros echo 'SUF=$(SUF)' >> make_macros echo 'LIBSUF=$(LIBSUF)' >> make_macros diff --git a/lang/occam/comp/proto.make b/lang/occam/comp/proto.make index 6ef3085df..c5eaa9f93 100644 --- a/lang/occam/comp/proto.make +++ b/lang/occam/comp/proto.make @@ -90,6 +90,8 @@ make_macros: Makefile echo 'COPTIONS=$(COPTIONS)' >> make_macros echo 'LDOPTIONS=$(LDOPTIONS)' >> make_macros echo 'LINT=$(LINT)' >> make_macros + echo 'LINTSUF=$(LINTSUF)' >> make_macros + echo 'LINTPREF=$(LINTPREF)' >> make_macros echo 'LINTOPTIONS=$(LINTOPTIONS)' >> make_macros echo 'SUF=$(SUF)' >> make_macros echo 'LIBSUF=$(LIBSUF)' >> make_macros