diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-05-16 14:52:15 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-05-16 14:52:15 -0700 |
| commit | 9724ba49770ecbcca00110a8ef1d16e09d2c6e74 (patch) | |
| tree | be26a531fb02cf720d5cc88ed8f0c1ef87be72e3 | |
| parent | 701ad7c0330699b7430a7396c54fa614dbf6e206 (diff) | |
Remove the closure compiler wrapper
| -rwxr-xr-x | contexts/compile-js.sh | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/contexts/compile-js.sh b/contexts/compile-js.sh deleted file mode 100755 index ee6fa96..0000000 --- a/contexts/compile-js.sh +++ /dev/null @@ -1,29 +0,0 @@ -#!/bin/bash -# -# Module : compile-js.sh -# Copyright : (c) 2011-2012, Galois, Inc. -# -# Maintainer : -# Stability : Provisional -# Portability: Portable -# -# Licensed under the Apache License, Version 2.0 (the "License"); -# you may not use this file except in compliance with the License. -# You may obtain a copy of the License at -# -# http://www.apache.org/licenses/LICENSE-2.0 -# -# Unless required by applicable law or agreed to in writing, software -# distributed under the License is distributed on an "AS IS" BASIS, -# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. -# See the License for the specific language governing permissions and -# limitations under the License. - -dir=`dirname $0` - -closure="$dir/data/lib/closure-library" - -closurebuilder="${closure}/closure/bin/build/closurebuilder.py" - -${closurebuilder} --root="$dir/data/fiveui" --root="${closure}" $@ | \ - sed 's|COMPILED = false|COMPILED = true|'
\ No newline at end of file |