M.Z.

2003-03-13 16:15:48 +00:00
parent 731e48d920
commit a3c061dde9
7 changed files with 92 additions and 2 deletions
--- a/tecs/makefile
+++ b/tecs/makefile
@@ -1 +1,10 @@
-include make_tecs
+# if MACHINE is defined, include make_tecs
+# else include make_tecs_no, printing out a comment
+
+T_$(MACHINE)=_no
+
+MAKE_OPT=make_opt_$(MACHINE)
+
+include make_tecs$(T_)
+
+