diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2018-04-16 21:39:16 +0200 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2018-04-16 21:39:16 +0200 |
| commit | bcce6b988b05b180ae12f91fe3468ecc76b6a0d0 (patch) | |
| tree | 5e0a2a93c6365049ae118a2694e56106606b6392 | |
| parent | 44122bfc3d2b86ce835daf6f042ea18eabe37b88 (diff) | |
fix ci/install.sh
| -rw-r--r-- | ci/install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/install.sh b/ci/install.sh index 8bc6a47..e41f9c4 100644 --- a/ci/install.sh +++ b/ci/install.sh @@ -1,7 +1,7 @@ set -euxo pipefail main() { - . + : } main |