diff options
| -rwxr-xr-x | autotest-checkers.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/autotest-checkers.sh b/autotest-checkers.sh index 96525655fe1..dcf864ee850 100755 --- a/autotest-checkers.sh +++ b/autotest-checkers.sh @@ -40,7 +40,4 @@ done; php ./build/files-checker.php RESULT=$(($RESULT+$?)) -php ./build/signed-off-checker.php -RESULT=$(($RESULT+$?)) - exit $RESULT |