update ci build

This commit is contained in:
bradd evans
2019-12-20 17:15:16 +00:00
parent 51703b3300
commit cf9ddb81d4

View File

@@ -28,7 +28,8 @@ jobs:
- v1-dep-
- run: git config --global user.email "circle@circleci.com"
- run: git config --global user.name "CircleCI"
- run: chmod +x scripts/inst.sh
- run: chmod -Rv +x scripts/
- run: ./scripts/build.sh
- run: ./scripts/inst.sh --setup --remote
# Save dependency cache
- save_cache: