diff options
author | Marek Safar <marek.safar@gmail.com> | 2013-02-16 02:03:13 +0400 |
---|---|---|
committer | Marek Safar <marek.safar@gmail.com> | 2013-02-16 02:03:47 +0400 |
commit | 23a47db274096388a52224923750adfab71e2b10 (patch) | |
tree | dbe65c420248f1af3201ad1ec466912acd74251b /runtime/Makefile.am | |
parent | f430e86f7ff7c5e6dcbdfa0c8cba113b23fccdf8 (diff) |
Enable stricter verifier checks to uncover more codegen bugs
Diffstat (limited to 'runtime/Makefile.am')
-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 f70d4d20241..f8d500502a3 100644 --- a/runtime/Makefile.am +++ b/runtime/Makefile.am @@ -162,7 +162,7 @@ mcs-compileall: mono-wrapper etc/mono/config if [ ! -f $$i ] ; then \ continue ; \ fi ; \ - if ./mono-wrapper --compile-all --verify-all --security=validil $$i; then \ + if ./mono-wrapper --compile-all --verify-all --security=verifiable $$i; then \ echo $$i verified OK; \ else \ echo $$i verification failed; ok=false; \ |