Changeset 5d98d06 in git


Ignore:
Timestamp:
May 2, 2008, 3:50:37 PM (16 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '648d28f488f6ff08f5607ff229b9ad9e4a5b93c2')
Children:
6ab785eb44b3e4a89b14dbcdbb18c17151903957
Parents:
39b176ecdd97cf2cb2313be6e4d30c85005d8038
Message:
*hannes: sunos patches


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

Legend:

Unmodified
Added
Removed
  • Singular/flexer.sh

    r39b176 r5d98d06  
    11#!/bin/sh
    22VERSION=`flex --version |sed -e "s/^.*version //"|sed -e "s/^flex //"`
    3 LV=`echo $VERSION|sed -e s/\.[0-9]*\.[0-9]*\$//`
    4 MIDV=`echo $VERSION|sed -e "s/^[0-9]*\.//"|sed -e s/\.[0-9]*\$//`
    5 TV=`echo $VERSION|sed -e s/^[0-9]*\.[0-9]*\\.//`
     3LV=`echo $VERSION|sed -e "s/\.[0-9]*\.[0-9]*\$//"`
     4MIDV=`echo $VERSION|sed -e "s/^[0-9]*\.//"|sed -e "s/\.[0-9]*\$//"`
     5TV=`echo $VERSION|sed -e "s/^[0-9]*\.[0-9]*\\.//"`
    66#echo $LV $MIDV $TV
    77#goodversion=""
Note: See TracChangeset for help on using the changeset viewer.