summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--=Maketools1
1 files changed, 1 insertions, 0 deletions
diff --git a/=Maketools b/=Maketools
index 1c387228..b4183cff 100644
--- a/=Maketools
+++ b/=Maketools
@@ -18,6 +18,7 @@ CCVERSION=$(firstword $(CCVERSION-$(hostname)) 2.6.2)
CCTYPE=-b $(CCTARGET) -V $(CCVERSION)
CCVERSION-douglas.gnu.ai.mit.edu = 2.5.7
CCVERSION-ernst.gnu.ai.mit.edu = 2.5.7
+CCVERSION-duality.gnu.ai.mit.edu = 2.6.4
ccdir = /usr/local/lib/gcc-lib/$(CCTARGET)/$(CCVERSION)