Index: sdk/bin/pub_developer |
diff --git a/sdk/bin/pub b/sdk/bin/pub_developer |
similarity index 96% |
copy from sdk/bin/pub |
copy to sdk/bin/pub_developer |
index 364308575a70b78b474370ad71ba9da071876103..be0510d990fbc78797d73fe57c7d153a5591215b 100755 |
--- a/sdk/bin/pub |
+++ b/sdk/bin/pub_developer |
@@ -17,7 +17,7 @@ SNAPSHOT="$BIN_DIR/snapshots/pub.dart.snapshot" |
if test -f "$SNAPSHOT"; then |
# We are running the snapshot in the built SDK. |
DART="$BIN_DIR/dart" |
- exec "$DART" "--checked" "$SNAPSHOT" "$@" |
+ exec "$DART" --checked "$SNAPSHOT" "$@" |
else |
# We are running pub from source in the development repo. |
if [ -z "$DART_CONFIGURATION" ]; |