diff options
| -rw-r--r-- | config.lib | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config.lib b/config.lib index 5a1c997c9..7cb2fca6b 100644 --- a/config.lib +++ b/config.lib @@ -1226,7 +1226,7 @@ detect_os() { /sunos/ { print "SUNOS"; exit} /cygwin/ { print "CYGWIN"; exit} /mingw/ { print "MINGW"; exit} - /os\/2/ { print "OS2"; exit} + /os2/ { print "OS2"; exit} '` if [ -z "$os" ] |