diff options
Diffstat (limited to 'shells/tcsh/files/extra-patch-host.defs')
| -rw-r--r-- | shells/tcsh/files/extra-patch-host.defs | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/shells/tcsh/files/extra-patch-host.defs b/shells/tcsh/files/extra-patch-host.defs new file mode 100644 index 000000000000..c82572be82ff --- /dev/null +++ b/shells/tcsh/files/extra-patch-host.defs @@ -0,0 +1,16 @@ +--- host.defs.old Fri Jul 21 14:49:18 2000 ++++ host.defs Fri Jul 21 14:50:28 2000 +@@ -499,10 +499,12 @@ + + newdef : defined(__FreeBSD__) + comment : FreeBSD ++vendor : defined(__alpha) : "digital" + vendor : defined(M_intel) : "intel" + hosttype: : "FreeBSD" + ostype : : "FreeBSD" +-machtype: : "i386" ++machtype: defined(__alpha) : "alpha" ++machtype: defined(M_i386) : "i386" + enddef : + + |