From 79331d3c7ef15392463cdf73a9772aff685351e1 Mon Sep 17 00:00:00 2001 From: Conor Dooley Date: Sun, 2 Apr 2023 23:10:08 +0100 Subject: [PATCH] rv: only allow source inline to warn, not error Signed-off-by: Conor Dooley --- tests_rv/patch/source_inline/source_inline.sh | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/tests_rv/patch/source_inline/source_inline.sh b/tests_rv/patch/source_inline/source_inline.sh index 579e52e6..2fa9981e 100755 --- a/tests_rv/patch/source_inline/source_inline.sh +++ b/tests_rv/patch/source_inline/source_inline.sh @@ -14,9 +14,5 @@ if [ -z "$inlines" ]; then else echo -e "Detected inline keyword in C files\n$inlines" 1>&2 - if [ $new_inlines -eq $old_inlines ]; then - exit 250 - else - exit 1 - fi + exit 250 fi