diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/configure b/configure index 390875f1074..ee6871bf1a3 100755 --- a/configure +++ b/configure @@ -2829,15 +2829,6 @@ _ACEOF esac ;; - ## Vaxen. - vax-dec-* ) - machine=vax - case "${canonical}" in - *-vms* ) opsys=vms ;; - * ) unported=yes - esac - ;; - ## IA-64 ia64*-*-linux* ) machine=ia64 opsys=gnu-linux |