diff --git a/build.sh b/build.sh index ca3380dba5..3cf1685e71 100755 --- a/build.sh +++ b/build.sh @@ -14,6 +14,7 @@ # See the License for the specific language governing permissions and # limitations under the License. + set -ex workspace=$PWD build_dir_name=${cinn_build:-build}