Changeset e21afb in git


Ignore:
Timestamp:
Feb 3, 2005, 1:31:46 PM (18 years ago)
Author:
Michael Brickenstein <bricken@…>
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '7725b5cfc1eaf99630826ecc59f559d3b6831c24')
Children:
41a8db552191ba08e3fca59cf4cf8401c8d58daf
Parents:
cf5fc11febc65499165e79274d51a6d847e1391b
Message:
*bricken: adjustment to different flex locations, which show in output of flex --version


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

Legend:

Unmodified
Added
Removed

  • Singular/flexer.sh

    rcf5fc11 re21afb  
    11#!/bin/sh
    2 VERSION=`flex --version |sed -e "s/flex version //"`
     2VERSION=`flex --version |sed -e "s/^.*version //"`
    33LV=`echo $VERSION|sed -e s/\.[0-9]*\.[0-9]*\$//`
    44MIDV=`echo $VERSION|sed -e "s/^[0-9]*\.//"|sed -e s/\.[0-9]*\$//`
Note: See TracChangeset for help on using the changeset viewer.