1.1--- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2+++ b/makefile Tue Nov 07 21:56:24 2023 -0500 1.3@@ -0,0 +1,3 @@ 1.4+### infra/makefile --- The Compiler Company Infrastructure 1.5+include common.mk 1.6+include os/linux/makefile