[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Qemu-devel] [RFC PATCH 3/4] coccinelle: script to run them all
From: |
Fam Zheng |
Subject: |
Re: [Qemu-devel] [RFC PATCH 3/4] coccinelle: script to run them all |
Date: |
Tue, 27 Jun 2017 10:48:45 +0800 |
User-agent: |
Mutt/1.8.0 (2017-02-23) |
On Sun, 06/25 16:29, 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}
> +
> +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
Is it possible to do an "incremental" run of coccinelle to only process affected
files by a series (maybe on those files that are updated by an incremental make
invocation)? That way we can save much time.
BTW I think you should use whitespaces instead of tabs for indentation.
Fam
- [Qemu-devel] [RFC PATCH 0/4] travis: run all coccinelle scripts, Philippe Mathieu-Daudé, 2017/06/25
- [Qemu-devel] [RFC PATCH 1/4] XXX travis: simplify matrix, Philippe Mathieu-Daudé, 2017/06/25
- [Qemu-devel] [RFC PATCH 2/4] coccinelle: ignore ASTs pre-parsed cached C files, Philippe Mathieu-Daudé, 2017/06/25
- [Qemu-devel] [RFC PATCH 3/4] coccinelle: script to run them all, Philippe Mathieu-Daudé, 2017/06/25
- [Qemu-devel] [RFC PATCH 4/4] travis: add job to run coccinelle scripts, Philippe Mathieu-Daudé, 2017/06/25
- Re: [Qemu-devel] [RFC PATCH 0/4] travis: run all coccinelle scripts, Philippe Mathieu-Daudé, 2017/06/26
- Re: [Qemu-devel] [RFC PATCH 0/4] travis: run all coccinelle scripts, Markus Armbruster, 2017/06/27