Add initial Travis configuration

This commit is contained in:
Gerber, Mike 2020-02-10 15:00:56 +01:00
parent 788aedcb9b
commit 7d17b9b2d4
2 changed files with 17 additions and 1 deletions

4
build
View file

@ -77,7 +77,9 @@ download_to() {
set -e
if ! check_data_subdir; then
if [ -n "$FORCE_GET_FROM_WEB" ]; then
get_from_web
elif ! check_data_subdir; then
select choice in "Abort to manually fix $DATA_SUBDIR submodule" "Download data files from the web"; do
if [ $REPLY = 1 ]; then
suggest_commands