Changeset e21afb in git


Ignore:
Timestamp:
Feb 3, 2005, 1:31:46 PM (19 years ago)
Author:
Michael Brickenstein <bricken@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '45e267b9942dec9429fe249ce3e5e44ab80a6a3a')
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.