Changeset fde597 in git for singuname.sh

Timestamp:

Jun 7, 2006, 12:47:25 PM (18 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

32ed4fc37e1059f0d3c41fabbf67bc1a35b74faa

Parents:

54e84caff739c3553691638a0b6127d496e50d1f

Message:

*hannes: sparc64_Linux


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

File:

• singuname.sh (modified) (1 diff)

singuname.sh

@@ -208 +208 @@
         exit 1
     fi
+# sparc64-Linux ############################################
+elif (echo $uname_a | $egrep "sparc64" >$devnull)
+then
+    prefix=sparc64
+    if (echo $uname_a | $egrep "Linux" > $devnull)
+    then
+        echo ${prefix}-Linux
+        exit 0
+    else
+        echo ${prefix}-Unknown
+        exit 1
+    fi
+
 else # Unknown ########################################################
     echo Unknown