| Index: third_party/pkg/update_js.sh
|
| diff --git a/third_party/pkg/update_js.sh b/third_party/pkg/update_js.sh
|
| new file mode 100755
|
| index 0000000000000000000000000000000000000000..7d1d82c1cddd5e4eff9eedd85b191aaea20df6b4
|
| --- /dev/null
|
| +++ b/third_party/pkg/update_js.sh
|
| @@ -0,0 +1,23 @@
|
| +#!/bin/bash
|
| +# Copyright (c) 2013, 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
|
| +
|
| +readonly DIR=$( cd $( dirname "${BASH_SOURCE[0]}" ) && pwd )
|
| +pushd $DIR > /dev/null
|
| +
|
| +echo "*** Deleting old version"
|
| +rm -rf js
|
| +
|
| +echo "*** Syncing code"
|
| +git clone https://github.com/dart-lang/js-interop js
|
| +
|
| +pushd js > /dev/null
|
| +readonly REVISION=`git rev-parse HEAD`
|
| +rm -rf .git
|
| +
|
| +echo "${REVISION}" >> REVISION
|
| +echo "*** Updated to revision $REVISION"
|
|
|