Re: [Qemu-devel] [RFC PATCH 3/4] coccinelle: script to run them all

[Eduardo Habkost]

On Sun, Jun 25, 2017 at 04:29:49PM -0300, Philippe Mathieu-Daudé wrote:
> Signed-off-by: Philippe Mathieu-Daudé <address@hidden>
> ---
>  scripts/check-cocci-scripts.sh | 47 
> ++++++++++++++++++++++++++++++++++++++++++
>  1 file changed, 47 insertions(+)
>  create mode 100755 scripts/check-cocci-scripts.sh
> 
> diff --git a/scripts/check-cocci-scripts.sh b/scripts/check-cocci-scripts.sh
> new file mode 100755
> index 0000000000..ec3a8b39ef
> --- /dev/null
> +++ b/scripts/check-cocci-scripts.sh
> @@ -0,0 +1,47 @@
> +#! /usr/bin/env bash
> +
> +test -d scripts/coccinelle || exit 1
> +
> +SPATCH_IMAGE="philmd/coccinelle:1.0.4"
> +
> +GIT_AUTHOR_NAME="Coccinelle Spatch"
> +GIT_COMMITTER_NAME="Coccinelle Spatch"
> +
> +if [ -n "$TRAVIS" ]; then
> +     # avoid stalling builds: 
> https://docs.travis-ci.com/user/common-build-problems/#Build-times-out-because-no-output-was-received
> +     TIMEOUT_S=530
> +     TIMEOUT_CMD="timeout -k 550 500"
> +     EXTRA_ARGS="--timeout ${TIMEOUT_S}"
> +else
> +     TIMEOUT_S=0
> +fi
> +
> +HEAD=19 #`echo -n scripts/coccinelle/ | wc -c`
> +TAIL=6 #`echo -n .cocci | wc -c`
> +
> +test -z "$(${SUDO} docker images -q ${SPATCH_IMAGE})" && ${SUDO} docker pull 
> ${SPATCH_IMAGE}
> +

Can the docker magic be made optional (and disabled by default), so
people who already have Coccinelle installed can run this script more
quickly?


> +LOG=/tmp/cocci-spatch-$$
> +for script in scripts/coccinelle/*.cocci; do
> +     desc=${script:$HEAD:-$TAIL}
> +     echo -e "\nRunning ${script}...\n"
> +     echo -e "coccinelle: committing changes after running \"$desc\" 
> script\n" > ${LOG}.topic
> +     ${TIMEOUT_CMD} ${SUDO} \
> +     docker run --rm -v `pwd`:`pwd` -w `pwd` -u `id -u` \
> +             ${SPATCH_IMAGE} --use-cache --use-gitgrep --keep-comments \
> +                     --very-quiet ${EXTRA_ARGS} \
> +                     --sp-file ${script} \
> +                     --macro-file scripts/cocci-macro-file.h \
> +                     --dir . \
> +                     --in-place | tee ${LOG}.content
> +     git add -u
> +     git diff --cached --exit-code -s
> +     if [ $? -ne 0 ]; then
> +             :> ${LOG}.content
> +     else
> +             test -s ${LOG}.content || continue
> +     fi
> +     cat ${LOG}.{topic,content} | git commit --allow-empty -F -
> +done
> +
> +rm -f ${LOG}.{topic,content}
> -- 
> 2.13.1
> 

-- 
Eduardo