Index: sdk/lib/_internal/pub/bin/pub.dart |
diff --git a/sdk/lib/_internal/pub/bin/pub.dart b/sdk/lib/_internal/pub/bin/pub.dart |
index 777105ba1b0fcea6e3e1e1ed97345b8a184413d1..a589dcc8403a9ac31593a593ad2afb4545c1f627 100644 |
--- a/sdk/lib/_internal/pub/bin/pub.dart |
+++ b/sdk/lib/_internal/pub/bin/pub.dart |
@@ -19,7 +19,8 @@ void main(List<String> arguments) { |
ArgResults options; |
try { |
- options = PubCommand.pubArgParser.parse(arguments); |
+ options = PubCommand.pubArgParser.parse(arguments, |
+ allowTrailingOptions: true); |
} on FormatException catch (e) { |
log.error(e.message); |
log.error('Run "pub help" to see available options.'); |