Searched refs:PATCH_LIST (Results 1 – 1 of 1) sorted by relevance
11 PATCH_LIST="$@"12 [ -n "$PATCH_LIST" ] || PATCH_LIST=$(echo $COCCI/*.cocci)21 for c in $PATCH_LIST; do