Remove code that morphs --sound-null-safety to --null-safety options (#61491)

This commit is contained in:
Siva 2020-07-14 17:21:01 -07:00 committed by GitHub
parent 4fba77476d
commit e15cfc2c09
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -310,14 +310,7 @@ class KernelCompiler {
'--platform', '--platform',
platformDill, platformDill,
], ],
if (extraFrontEndOptions != null) ...?extraFrontEndOptions,
for (String arg in extraFrontEndOptions)
if (arg == '--sound-null-safety')
'--null-safety'
else if (arg == '--no-sound-null-safety')
'--no-null-safety'
else
arg,
mainUri?.toString() ?? mainPath, mainUri?.toString() ?? mainPath,
]; ];
@ -728,14 +721,7 @@ class DefaultResidentCompiler implements ResidentCompiler {
platformDill, platformDill,
], ],
if (unsafePackageSerialization == true) '--unsafe-package-serialization', if (unsafePackageSerialization == true) '--unsafe-package-serialization',
if (extraFrontEndOptions != null) ...?extraFrontEndOptions,
for (String arg in extraFrontEndOptions)
if (arg == '--sound-null-safety')
'--null-safety'
else if (arg == '--no-sound-null-safety')
'--no-null-safety'
else
arg,
]; ];
_logger.printTrace(command.join(' ')); _logger.printTrace(command.join(' '));
_server = await _processManager.start(command); _server = await _processManager.start(command);