diff options
| -rwxr-xr-x | util/abuild/abuild | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/util/abuild/abuild b/util/abuild/abuild index d32b16d922..abfedba614 100755 --- a/util/abuild/abuild +++ b/util/abuild/abuild @@ -675,6 +675,7 @@ while true ; do scanbuild=true customizing="${customizing}, scan-build" SCANBUILD_ARGS=${SCANBUILD_ARGS:-'-k'} + configoptions="${configoptions}CONFIG_FATAL_ASSERTS=y\n" ;; -y|--ccache) shift customizing="${customizing}, ccache" |