Alexander Markov 6f6b1f8818 [vm] Rename --null-safety option to --sound-null-safety ...

Deprecated option --null-safety still remains in order to allow
graceful migration.

Fixes https://github.com/dart-lang/sdk/issues/41853

Change-Id: Ie47b1bebc9dd6532658a60743ecb85dc7fdc108c
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/153660
Reviewed-by: Siva Annamalai <asiva@google.com>
Reviewed-by: Régis Crelier <regis@google.com>
Commit-Queue: Alexander Markov <alexmarkov@google.com>

2020-07-09 01:37:23 +00:00

..

dart_precompiled_runtime2

…

dump_kernel

…

gen_kernel

…

gen_kernel.bat

…

precompiler2

[vm] Rename --null-safety option to --sound-null-safety

2020-07-09 01:37:23 +00:00