gnu/config
1
0
Fork 0
mirror of git://git.savannah.gnu.org/config.git synced 2025-06-07 23:10:20 +12:00
Code Issues Packages Projects Releases Wiki Activity

*** empty log message ***

Browse Source
This commit is contained in:
rms 1992-05-14 19:21:20 +00:00
parent 091eddd875
commit e55a9b3952
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
config.sub vendored
View File

@ -1,6 +1,9 @@
#!/bin/sh #!/bin/sh
# Configuration validation subroutine script, version 1.0. # Configuration validation subroutine script, version 1.0.
# Copyright (C) 1991 Free Software Foundation, Inc. # Copyright (C) 1991, 1992 Free Software Foundation, Inc.
# This file is (in principle) common to ALL GNU software.
# The presence of a machine in this file suggests that SOME GNU software
# can handle that machine. It does not imply ALL GNU software can.
#This file is free software; you can redistribute it and/or modify #This file is free software; you can redistribute it and/or modify
#it under the terms of the GNU General Public License as published by #it under the terms of the GNU General Public License as published by
@ -473,6 +476,8 @@ case $os in
-svr3) -svr3)
os=-sysv3 os=-sysv3
;; ;;
-none)
;;
*) *)
# Get rid of the `-' at the beginning of $os. # Get rid of the `-' at the beginning of $os.
os=`echo $1 | sed 's/[^-]*-//'` os=`echo $1 | sed 's/[^-]*-//'`