Index: fetch |
diff --git a/fetch b/fetch |
index 37e8e795dbecf247a542af6cd5089b3621f0922d..7346fe9c030fa222186aa6dc5c6b547409f13e38 100755 |
--- a/fetch |
+++ b/fetch |
@@ -5,8 +5,6 @@ |
base_dir=$(dirname "$0") |
-if [[ "#grep#fetch#cleanup#diff#" != *"#$1#"* ]]; then |
- "$base_dir"/update_depot_tools |
-fi |
Dirk Pranke
2013/04/06 01:45:25
NIt: ideally I would've cleaned this up in a separ
|
+"$base_dir"/update_depot_tools |
PYTHONDONTWRITEBYTECODE=1 exec python "$base_dir/fetch.py" "$@" |