| Index: sdk/lib/_internal/pub/lib/src/global_packages.dart
|
| diff --git a/sdk/lib/_internal/pub/lib/src/global_packages.dart b/sdk/lib/_internal/pub/lib/src/global_packages.dart
|
| index 7743cf7d72acbf7a77c0cc4d09cc74b795fb18f0..ed70d5b17fe5b39d49ee97673d6c837b297fd6b3 100644
|
| --- a/sdk/lib/_internal/pub/lib/src/global_packages.dart
|
| +++ b/sdk/lib/_internal/pub/lib/src/global_packages.dart
|
| @@ -567,6 +567,7 @@ $invocation "%*"
|
| writeTextFile(binStubPath, batch);
|
| } else {
|
| var bash = """
|
| +#!/usr/bin/env sh
|
| # This file was created by pub v${sdk.version}.
|
| # Package: ${package.name}
|
| # Version: ${package.version}
|
|
|