diff options
| author | Paweł Krupa <pawel@krupa.net.pl> | 2018-11-29 00:47:14 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-29 00:47:14 +0200 |
| commit | 03cd5be53af1a9255b5ed69d591bc8017267b9f0 (patch) | |
| tree | e110bd1a32806d87a26db4c206a3c250d7d1ec81 /build | |
| parent | 83ad4ca38ba9a1975f0bda16cb4e39a839f13513 (diff) | |
Cleanup docker packaging and contrib (#4627)
Diffstat (limited to 'build')
| -rwxr-xr-x | build/build.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/build/build.sh b/build/build.sh index 8176190f67..892a7da988 100755 --- a/build/build.sh +++ b/build/build.sh @@ -1,7 +1,8 @@ #!/bin/bash -if [ -f build.sh ]; then - cd ../ || exit 1 +if [ ! -f .gitignore ]; then + echo "Run as ./travis/$(basename "$0") from top level directory of git repository" + exit 1 fi if [ "$IS_CONTAINER" != "" ]; then |