diff options
| author | Doug Evans <dje@gnu.org> | 1996-03-29 01:46:52 +0000 |
|---|---|---|
| committer | Doug Evans <dje@gnu.org> | 1996-03-29 01:46:52 +0000 |
| commit | 0daf278545cfe4c9c95982d48bea6d71ea5d8fc2 (patch) | |
| tree | 7599235cdc7e6dbab63b797bc6b0ded32ff4aba2 | |
| parent | b7407d6362d014d16308aa02e8c8b6a93589cfe2 (diff) | |
(aux): Delete duplicate entry.
| -rwxr-xr-x | config.sub | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/config.sub b/config.sub index 8149b79f51..193e44bfee 100755 --- a/config.sub +++ b/config.sub @@ -202,10 +202,6 @@ case $basic_machine in basic_machine=m68k-apple os=-aux ;; - aux) - basic_machine=m68k-apple - os=-aux - ;; balance) basic_machine=ns32k-sequent os=-dynix |