lkml.org 
[lkml]   [2010]   [Oct]   [8]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    Patch in this message
    /
    From
    Subject[PATCH 5/6] Coccinelle: Add a new mode named 'chain'
    Date
    spatch now returns -1 when a virtual rule (given with
    -D on the command line) is not defined in the semantic patch.

    Using this spatch feature, coccicheck is now
    tries several modes by default, in the order:
    patch, report, context, org

    Signed-off-by: Nicolas Palix <npalix.work@gmail.com>
    Signed-off-by: Julia Lawall <julia@diku.dk>
    ---
    scripts/coccicheck | 16 +++++++++++-----
    1 files changed, 11 insertions(+), 5 deletions(-)

    diff --git a/scripts/coccicheck b/scripts/coccicheck
    index ef78c87..c7beb63 100755
    --- a/scripts/coccicheck
    +++ b/scripts/coccicheck
    @@ -16,6 +16,7 @@ if [ "$C" = "1" -o "$C" = "2" ]; then
    else
    ONLINE=0
    FLAGS="-very_quiet"
    + OPTIONS="-dir $srctree"
    fi

    if [ ! -x "$SPATCH" ]; then
    @@ -25,11 +26,11 @@ fi

    if [ "$MODE" = "" ] ; then
    if [ "$ONLINE" = "0" ] ; then
    - echo 'You have not explicitly specified the mode to use. Fallback to "report".'
    + echo 'You have not explicitly specified the mode to use. Using default "chain" mode.'
    + echo 'All available modes will be tried (in that order): patch, report, context, org'
    echo 'You can specify the mode with "make coccicheck MODE=<mode>"'
    - echo 'Available modes are: report, patch, context, org'
    fi
    - MODE="report"
    + MODE="chain"
    fi

    if [ "$ONLINE" = "0" ] ; then
    @@ -71,10 +72,15 @@ coccinelle () {
    sed -ne 's|^//#||p' $COCCI
    echo ''
    fi
    + fi

    - $SPATCH -D $MODE $FLAGS -sp_file $COCCI $OPT -dir $srctree || exit 1
    + if [ "$MODE" = "chain" ] ; then
    + $SPATCH -D patch $FLAGS -sp_file $COCCI $OPT $OPTIONS || \
    + $SPATCH -D report $FLAGS -sp_file $COCCI $OPT $OPTIONS || \
    + $SPATCH -D context $FLAGS -sp_file $COCCI $OPT $OPTIONS || \
    + $SPATCH -D org $FLAGS -sp_file $COCCI $OPT $OPTIONS || exit 1
    else
    - $SPATCH -D $MODE $FLAGS -sp_file $COCCI $OPT $OPTIONS || exit 1
    + $SPATCH -D $MODE $FLAGS -sp_file $COCCI $OPT $OPTIONS || exit 1
    fi

    }
    --
    1.7.0.4


    \
     
     \ /
      Last update: 2010-10-08 21:31    [W:0.022 / U:61.572 seconds]
    ©2003-2016 Jasper Spaans. hosted at Digital OceanAdvertise on this site