Merge pull request #420 from mcmasterg/latest_db

download-latest: clean files
This commit is contained in:
John McMaster 2018-12-29 15:57:41 +01:00 committed by GitHub
commit af9128bb72
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 9 additions and 1 deletions

View File

@ -1,6 +1,14 @@
#!/bin/bash
#!/usr/bin/env bash
GITHUB_PROTO=${1:-https}
GITHUB_URL=$GITHUB_PROTO://github.com/SymbiFlow/prjxray-db.git
rm -rf database
git clone $GITHUB_URL database
# Causes confusion if you try to commit in DB dir
# But doesn't effect most people, probably leave as is
# rm -rf database/.git
# travis, .gitignore, etc
rm -f database/* 2>/dev/null
rm -f database/.* 2>/dev/null
# Restore settings files so fuzzers run correctly
git checkout HEAD database