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