diff --git a/third_party/setup.py b/third_party/setup.py index c93487c7a4a..7f9c48f724a 100755 --- a/third_party/setup.py +++ b/third_party/setup.py @@ -174,13 +174,13 @@ def v8_main(): def wabt_determine_platform(): if sys.platform.startswith('linux'): - return 'ubuntu' + return 'linux' if sys.platform == 'darwin': return 'macos' if sys.platform == 'win32': return 'windows' - print('Cannot determine platform, assuming \'ubuntu\'') - return 'ubuntu' + print('Cannot determine platform, assuming \'linux\'') + return 'linux' def wabt_determine_release(platform):