2018-12-29 15:41:12 +01:00
|
|
|
#!/usr/bin/env bash
|
2017-12-20 15:52:34 +01:00
|
|
|
|
2017-12-21 11:19:43 +01:00
|
|
|
GITHUB_PROTO=${1:-https}
|
2017-12-20 15:52:34 +01:00
|
|
|
GITHUB_URL=$GITHUB_PROTO://github.com/SymbiFlow/prjxray-db.git
|
|
|
|
|
rm -rf database
|
|
|
|
|
git clone $GITHUB_URL database
|
2018-12-29 15:41:12 +01:00
|
|
|
# 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
|
