| 12345678910111213141516171819202122 |
- #!/bin/bash
- mkdir -p ../third_party
- repository=https://github.com/apache/incubator-mxnet.git
- if [ -d "../third_party/incubator-mxnet" ]; then
- pushd "../third_party/${identifier}" > /dev/null
- echo "Fetch ${repository}..."
- git fetch -p
- echo "Reset ${repository}..."
- git reset --hard origin/master
- popd > /dev/null
- else
- echo "Clone ${repository}..."
- pushd "../third_party" > /dev/null
- git clone --recursive ${repository}
- popd > /dev/null
- fi
- # echo "Update '../src/mxnet-operator.json'"
- # python mxnet-operator-json.py
|