| #!/bin/bash |
| |
| # Copyright 2019 Google LLC |
| # |
| # 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 |
| # |
| # https://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. |
| |
| # Updates the LLVM, MLIR, and TF submodules and pushes a commit to master. |
| |
| # This is scripted because we have to do this all the time as we get out of |
| # sync between GitHub and upstream. It's not a more sophisticated fix |
| # because we're waiting until MLIR moves to LLVM to do something more |
| # robust here. |
| |
| set -e |
| |
| current_branch="$(git branch --show-current)" |
| |
| if [ "$current_branch" != "master" ]; then |
| echo "Current branch (${current_branch}) is not master. Aborting." |
| exit 1 |
| fi |
| |
| git_status="$(git status -s)" |
| |
| if [ -n "$git_status" ]; then |
| echo "Modified/untracked files in working directory. Aborting." |
| exit 1 |
| fi |
| |
| upstream_url="https://github.com/google/iree.git" |
| echo "Pulling latest from remote ${upstream_url?}" |
| git pull ${upstream_url} |
| |
| git_status="$(git status -s)" |
| |
| if [ -n "$git_status" ]; then |
| echo "Modified/untracked files in working directory after pull. Aborting." |
| exit 1 |
| fi |
| |
| echo "Updating LLVM, MLIR, TF submodules to latest" |
| |
| git submodule update --remote third_party/llvm-project third_party/mlir third_party/tensorflow |
| |
| MSG="Update LLVM, MLIR, TF submodules to latest |
| |
| \$ ./build_tools/scripts/update_submodules.sh |
| " |
| |
| git commit -am "$MSG" |
| |
| echo -e "\n\n\nCreated commit. Please confirm message and diffs before pushing" |
| |
| git log -n 1 |
| git diff origin/master |