gnu/config
1
0
Fork 0
mirror of git://git.savannah.gnu.org/config.git synced 2025-07-14 15:13:41 +12:00
Code Issues Packages Projects Releases Wiki Activity

* config.sub (maybe_os): Remove pdp10 case as it is handled above.

Browse Source 
Found by Shellcheck.
This commit is contained in:
Ben Elliston
2018-01-13 21:45:29 +11:00
parent 97447f42ae
commit 1ea2427f47
2 changed files with 5 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
ChangeLog
View File

@ -1,3 +1,8 @@
2018-01-13 Ben Elliston <bje@gnu.org>
* config.sub (maybe_os): Remove pdp10 case as it is handled above.
Found by Shellcheck.
2018-01-13 Ben Elliston <bje@gnu.org>
* config.sub (basic_machine): Remove first pdp11 case so that the