diff options
Diffstat (limited to 'src/config.sub')
| -rwxr-xr-x | src/config.sub | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/config.sub b/src/config.sub index 0432524944d..0859eab7b8a 100755 --- a/src/config.sub +++ b/src/config.sub @@ -671,6 +671,9 @@ case $os in -unixware* | svr4*) os=-sysv4 ;; + -univel*) + os=-sysv4 + ;; -gnu/linux*) os=`echo $os | sed -e 's|gnu/linux|linux-gnu|'` ;; |