5 years ago · eddc36828b
parent c021b691d9
commit eddc36828b
1 changed files with 1 additions and 1 deletions
--- a/all.sh
+++ b/all.sh
@ -49,7 +49,7 @@ bash_tools_start_time="$(start_timer)"
 # don't run this here, it needs to be called explicitly otherwise will fail 'make test deep-clean'
 #"$srcdir/check_docker_clean.sh"

-"$srcdir/check_bash_duplicate_defs.sh"
+"$srcdir/check_bash_duplicate_defs.sh" || :

 "$srcdir/check_duplicate_requirements.sh"