Changeset 564067c in git for singuname.sh


Ignore:
Timestamp:
Jul 31, 1998, 9:44:30 AM (25 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'spielwiese', 'e7cc1ebecb61be8b9ca6c18016352af89940b21a')
Children:
93d8a1cb14f2b3272db6edf854c5de11ee960447
Parents:
5c2c4ffafcf2638d25626c59a63b407765965c09
Message:
* hannes: SunOS-fix


git-svn-id: file:///usr/local/Singular/svn/trunk@2409 2c84dea3-7e68-4137-9b89-c4e89433aadc
File:
1 edited

Legend:

Unmodified
Added
Removed

  • singuname.sh

    r5c2c4f r564067c  
    7070      prefix=Sun3OS
    7171    else
    72       prefix= SunOS
     72      prefix=SunOS
    7373    fi
    7474    if (echo $uname_a | $egrep "4\.[0-9]" > $devnull)
Note: See TracChangeset for help on using the changeset viewer.