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 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; \ |