Changeset 5d98d06 in git

Timestamp:

May 2, 2008, 3:50:37 PM (15 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

Children:

6ab785eb44b3e4a89b14dbcdbb18c17151903957

Parents:

39b176ecdd97cf2cb2313be6e4d30c85005d8038

Message:

*hannes: sunos patches


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

File:

• Singular/flexer.sh (modified) (1 diff)

Singular/flexer.sh

@@ -1 +1 @@
 #!/bin/sh
 VERSION=`flex --version |sed -e "s/^.*version //"|sed -e "s/^flex //"`
-LV=`echo $VERSION|sed -e s/\.[0-9]*\.[0-9]*\$//`
-MIDV=`echo $VERSION|sed -e "s/^[0-9]*\.//"|sed -e s/\.[0-9]*\$//`
-TV=`echo $VERSION|sed -e s/^[0-9]*\.[0-9]*\\.//`
+LV=`echo $VERSION|sed -e "s/\.[0-9]*\.[0-9]*\$//"`
+MIDV=`echo $VERSION|sed -e "s/^[0-9]*\.//"|sed -e "s/\.[0-9]*\$//"`
+TV=`echo $VERSION|sed -e "s/^[0-9]*\.[0-9]*\\.//"`
 #echo $LV $MIDV $TV
 #goodversion=""