pushd/popd are bash-only

This commit is contained in:
Rangi
2020-06-20 22:44:01 -04:00
parent fcaaf45da5
commit 273324e787
2 changed files with 4 additions and 7 deletions

View File

@@ -3,13 +3,10 @@ set -e
commit_message=$(git log -1 --pretty=%B)
mkdir symbols
pushd symbols
git clone -b symbols https://github.com/pret/pokecrystal symbols
cd symbols
git clone -b symbols https://github.com/pret/pokecrystal
cp ../*.sym .
git add *.sym
git -c user.name='travis' -c user.email='travis@travis-ci.org' commit -m "$commit_message"
git push -f -q https://Rangi42:$GITHUB_API_KEY@github.com/pret/pokecrystal symbols &>/dev/null
popd