Changeset a8ddef in git for singuname.sh


Ignore:
Timestamp:
Mar 8, 2002, 11:30:47 AM (22 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')
Children:
7248478bf4e1532750f6423799de6cebde8d2657
Parents:
0ebbcf45e4a54a7d03edfe7aa13f2a27f6a1850b
Message:
*hannes: OSF1


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

Legend:

Unmodified
Added
Removed

  • singuname.sh

    r0ebbcf4 ra8ddef  
    104104        echo ${prefix}-Linux
    105105        exit 0
     106    elif (echo $uname_a | $egrep "OSF1" > $devnull)
     107    then
     108        echo ${prefix}-OSF1
     109        exit 0
    106110    else
    107111        echo ${prefix}-Unknown
Note: See TracChangeset for help on using the changeset viewer.