diff options
| -rwxr-xr-x | configure1.in | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/configure1.in b/configure1.in index ac7809eecaf..39de49f59a0 100755 --- a/configure1.in +++ b/configure1.in | |||
| @@ -449,8 +449,13 @@ case "${configuration}" in | |||
| 449 | machine=7300 opsys=usg5-2-2 | 449 | machine=7300 opsys=usg5-2-2 |
| 450 | ;; | 450 | ;; |
| 451 | 451 | ||
| 452 | ## Bull dpx2 | ||
| 453 | m68*-bull-sysv3* ) | ||
| 454 | machine=dpx2 opsys=usg5-3 | ||
| 455 | ;; | ||
| 456 | |||
| 452 | ## Bull sps7 | 457 | ## Bull sps7 |
| 453 | m68*-bull-sysv* ) | 458 | m68*-bull-sysv2* ) |
| 454 | machine=sps7 opsys=usg5-2 | 459 | machine=sps7 opsys=usg5-2 |
| 455 | ;; | 460 | ;; |
| 456 | 461 | ||