| Index: third_party/pkg/update.sh
|
| diff --git a/third_party/pkg/update.sh b/third_party/pkg/update.sh
|
| deleted file mode 100644
|
| index 8cfd2d3ac5991b946d6f0dcb7af6a7c104d3614d..0000000000000000000000000000000000000000
|
| --- a/third_party/pkg/update.sh
|
| +++ /dev/null
|
| @@ -1,30 +0,0 @@
|
| -#!/bin/bash
|
| -# Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file
|
| -# for details. All rights reserved. Use of this source code is governed by a
|
| -# BSD-style license that can be found in the LICENSE file.
|
| -
|
| -# bail on error
|
| -set -e
|
| -
|
| -update() {
|
| - local package=$1
|
| - local clone_url=$2
|
| - local branch=$3
|
| -
|
| - echo "*** Deleting old version"
|
| - rm -rf ${package}
|
| -
|
| - echo "*** Syncing code"
|
| - git clone ${clone_url} ${package}
|
| -
|
| - pushd $1 > /dev/null
|
| - if [[ $# -eq 3 ]]; then
|
| - git checkout ${branch}
|
| - fi
|
| -
|
| - echo `git rev-parse HEAD` >> REVISION
|
| -
|
| - rm -rf .git
|
| -
|
| - popd > /dev/null
|
| -}
|
|
|