Skip to content
Snippets Groups Projects
Commit 1c4b0168 authored by Andre Maroneze's avatar Andre Maroneze Committed by David Bühler
Browse files

[tests] add filter to avoid diffs with make 4.1

parent 9010b2db
No related branches found
No related tags found
No related merge requests found
/* run.config /* run.config
NOFRAMAC: testing frama-c-script NOFRAMAC: testing frama-c-script
COMMENT: we must filter 'make:' output lines, since they differ when run by the CI (e.g. mention to jobserver) COMMENT: we must filter 'make:' output lines, since they differ when run by the CI (e.g. mention to jobserver)
EXECNOW: LOG make-wrapper.res LOG make-wrapper.err cd @PTEST_DIR@ && touch make-wrapper2.c && touch make-wrapper3.c && FRAMAC=../../bin/frama-c ../../bin/frama-c-script make-wrapper --make-dir . -f make-for-make-wrapper.mk | sed -e "s:$PWD:PWD:g" | grep -v "^make.*" > result/make-wrapper.res 2> result/make-wrapper.err && rm -rf make-for-make-wrapper.parse make-for-make-wrapper.eva EXECNOW: LOG make-wrapper.res LOG make-wrapper.err cd @PTEST_DIR@ && touch make-wrapper2.c && touch make-wrapper3.c && FRAMAC=../../bin/frama-c ../../bin/frama-c-script make-wrapper --make-dir . -f make-for-make-wrapper.mk | sed -e "s:$PWD:PWD:g" | grep -v "^make.*" | grep -v "recipe for target.*failed" > result/make-wrapper.res 2> result/make-wrapper.err && rm -rf make-for-make-wrapper.parse make-for-make-wrapper.eva
*/ */
int defined(int a); int defined(int a);
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment