diff --git a/tools/build_script.sh b/tools/build_script.sh index 30591ddc7ff85cc58c4fc7ef932e55be07b710e5..770de73d12a682c4a5466efdefad965fd68fef2b 100644 --- a/tools/build_script.sh +++ b/tools/build_script.sh @@ -1,3 +1,25 @@ +#!/usr/bin/env bash + +# Copyright (c) 2018 PaddlePaddle Authors. All Rights Reserved. +# +# 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. + +#================================================= +# Utils +#================================================= + +set -ex + function init() { RED='\033[0;31m' BLUE='\033[0;34m'