diff options
Diffstat (limited to 'configure1.in')
-rwxr-xr-x | configure1.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/configure1.in b/configure1.in index 9131f0f410f..67759d071ff 100755 --- a/configure1.in +++ b/configure1.in @@ -516,6 +516,11 @@ case "${canonical}" in machine=7300 opsys=usg5-2-2 ;; + ## Bull dpx20 + rs6000-bull-bosx* ) + machine=ibmrs6000 opsys=aix3-2 + ;; + ## Bull dpx2 m68*-bull-sysv3* ) machine=dpx2 opsys=usg5-3 |