coccinelle: improve run-coccinelle.sh to take list of scripts to run
authorLennart Poettering <lennart@poettering.net>
Thu, 7 Dec 2017 11:11:13 +0000 (12:11 +0100)
committerLennart Poettering <lennart@poettering.net>
Thu, 7 Dec 2017 11:11:13 +0000 (12:11 +0100)
commit3708254f3666744b095b17f8ee98ab651b12b4f3
tree3ae2a6632bc8316a7beb89642f8f2a773fe45b4b
parente97b7b5a9c6d76964e3b9d8947ab6ccb30104e0e
coccinelle: improve run-coccinelle.sh to take list of scripts to run

Let's tweak run-coccinelle.sh to optionally take a list of scripts to
run. If not specified, run all scripts, as before.
coccinelle/run-coccinelle.sh