diff --git a/download-latest-db.sh b/download-latest-db.sh index bf8a8057..a01c44d1 100755 --- a/download-latest-db.sh +++ b/download-latest-db.sh @@ -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