Different makefiles for different machines M.Z.

2003-03-18 09:43:43 +00:00
parent 1969980f0f
commit f42a780057
17 changed files with 409 additions and 102 deletions
--- a/tecs/makefile
+++ b/tecs/makefile
@@ -1,10 +1,3 @@
-# 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_)
-
+#include makefile_alpha
+include makefile_linux