Context Navigation

Changeset c7ee6d in git

Timestamp:

Aug 14, 2007, 4:37:32 PM (16 years ago)

Author:

Michael Brickenstein <bricken@…>

Branches:

(u'spielwiese', 'd1b01e9d51ade4b46b745d3bada5c5f3696be3a8')

Children:

ac1aa29db9af55386c48180b044b115e3fbd5e01

Parents:

c7c21e3109121c1762f46d7978e4c545c2f2b081

Message:

+ adjusted to other flex version output


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

File:

rc7c21e3	rc7ee6d
1	1	#!/bin/sh
2		VERSION=`flex --version \|sed -e "s/^.*version //"`
	2	VERSION=`flex --version \|sed -e "s/^.*version //"\|sed -e "s/^flex //"`
3	3	LV=`echo $VERSION\|sed -e s/\.[0-9]\.[0-9]\$//`
4	4	MIDV=`echo $VERSION\|sed -e "s/^[0-9]\.//"\|sed -e s/\.[0-9]\$//`

Note: See TracChangeset for help on using the changeset viewer.

rc7c21e3	rc7ee6d
1	1	#!/bin/sh
2		VERSION=`flex --version \|sed -e "s/^.*version //"`
	2	VERSION=`flex --version \|sed -e "s/^.*version //"\|sed -e "s/^flex //"`
3	3	LV=`echo $VERSION\|sed -e s/\.[0-9]\.[0-9]\$//`
4	4	MIDV=`echo $VERSION\|sed -e "s/^[0-9]\.//"\|sed -e s/\.[0-9]\$//`