diff options
| -rw-r--r-- | runtime/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/Makefile.am b/runtime/Makefile.am index 7c9cf7bc9c7..0e876e2a491 100644 --- a/runtime/Makefile.am +++ b/runtime/Makefile.am @@ -106,7 +106,7 @@ mcs-compileall: mono-wrapper etc/mono/config if [ ! -f $$i ] ; then \ continue ; \ fi ; \ - if ./mono-wrapper --compile-all --verify-all $$i; then \ + if ./mono-wrapper --compile-all --security=validil --verify-all $$i; then \ echo $$i verified OK; \ else \ echo $$i verification failed; ok=false; \ |