#!/bin/sh

#/opt/flexelint8/src/flexelint /opt/flexelint8/gcc410.lnt /opt/flexelint8/isj.lnt "-width($COLUMNS)" $*
#/opt/flexelint8.v/src/flexelint /opt/flexelint8/gcc410.lnt /opt/flexelint8/isj.lnt "-width($COLUMNS)" $*
#/opt/flexelint8/src/flexelint /opt/flexelint8/gcc343.lnt /opt/flexelint8/isj.lnt "-width($COLUMNS)" $*
#/opt/flexelint8.v4/src/flexelint /opt/flexelint8.v4/gcc410.lnt /opt/flexelint8.v4/isj.lnt "-width($COLUMNS)" $*
#/opt/flexelint8.w/src/flexelint /opt/flexelint8.w/gcc410.lnt /opt/flexelint8.w/isj.lnt "-width($COLUMNS)" $*
#ok: /opt/flexelint8.w/src/flexelint /opt/flexelint8.w/gcc421.lnt /opt/flexelint8.w/isj.lnt "-width($COLUMNS)" $*
#/opt/flexelint8.w7/src/flexelint /opt/flexelint8.w7/gcc421.lnt /opt/flexelint8.w7/isj.lnt "-width($COLUMNS)" $*
#/opt/flexelint8.w8/src/flexelint64 /opt/flexelint8.w8/gcc421.lnt /opt/flexelint8.w8/isj.lnt "-width($COLUMNS)" $*
#/opt/FlexeLint_v9b/src/flexelint64 /opt/FlexeLint_v9b/gcc421.lnt /opt/FlexeLint_v9b/isj.lnt "-width($COLUMNS)" $*
#/opt/FlexeLint_v9b4/src/flexelint64 /opt/FlexeLint_v9b4/gcc432.lnt /opt/FlexeLint_v9b4/isj.lnt "-width($COLUMNS)" $*
#/opt/FlexeLint_v9b6/src/flexelint64 /opt/FlexeLint_v9b6/gcc432.lnt /opt/FlexeLint_v9b6/isj.lnt "-width($COLUMNS)" $*
#/opt/FlexeLint_v9c/src/flexelint64 /opt/FlexeLint_v9c/gcc432.lnt /opt/FlexeLint_v9c/isj.lnt "-width($COLUMNS)" $*
#/opt/FlexeLint_v9c/src/flexelint64 /opt/FlexeLint_v9c/gcc440.lnt /opt/FlexeLint_v9c/isj.lnt "-width($COLUMNS)" $*
#/opt/FlexeLint_v9d/src/flexelint64 /opt/FlexeLint_v9d/gcc440.lnt /opt/FlexeLint_v9d/isj.lnt "-width($COLUMNS)" $*
#/opt/FlexeLint_v9e/src/flexelint64 /opt/FlexeLint_v9e/gcc440.lnt /opt/FlexeLint_v9e/isj.lnt "-width($COLUMNS)" $*
#/opt/FlexeLint_v9f/src/flexelint64 /opt/FlexeLint_v9f/gcc440.lnt /opt/FlexeLint_v9f/isj.lnt "-width($COLUMNS)" $*
#/opt/FlexeLint_v9f/src/flexelint64 /opt/FlexeLint_v9f/gcc451.lnt /opt/FlexeLint_v9f/isj.lnt "-width($COLUMNS)" $*
#/opt/FlexeLint_v9g/src/flexelint64 /opt/FlexeLint_v9g/gcc451.lnt /opt/FlexeLint_v9f/isj.lnt "-width($COLUMNS)" $*
#/opt/FlexeLint_v9h/src/flexelint64 /opt/FlexeLint_v9h/gcc451.lnt /opt/FlexeLint_v9h/isj.lnt "-width($COLUMNS)" $*
#/opt/FlexeLint_v9j/src/flexelint64 /opt/FlexeLint_v9j/gcc472.lnt /opt/FlexeLint_v9j/isj.lnt "-width($COLUMNS)" $*

/opt/FlexeLint_v9k/src/flexelint64 /opt/FlexeLint_v9k/gcc472.lnt /opt/FlexeLint_v9k/isj.lnt "-width($COLUMNS)" $*