diff options
| author | Andrei Karas <akaras@inbox.ru> | 2017-10-19 19:32:36 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2017-10-19 19:32:36 +0300 |
| commit | 34a45a47a0b9cfe5647c7dc2c2f925356040d66a (patch) | |
| tree | f6cfa04a33a229663a0bd5562d2b378a8b64b955 /.ci/addrepo.sh | |
| parent | 39dbd7c15d9d65fd76f4311f1a80f7a7ac6f8225 (diff) | |
| parent | b10c5b3cc6272ba3a3a75483d57c8a774e2512b2 (diff) | |
| download | spm-34a45a47a0b9cfe5647c7dc2c2f925356040d66a.tar.gz spm-34a45a47a0b9cfe5647c7dc2c2f925356040d66a.tar.bz2 spm-34a45a47a0b9cfe5647c7dc2c2f925356040d66a.tar.xz spm-34a45a47a0b9cfe5647c7dc2c2f925356040d66a.zip | |
Merge branch 'master' into zlib
Diffstat (limited to '.ci/addrepo.sh')
| -rwxr-xr-x | .ci/addrepo.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/.ci/addrepo.sh b/.ci/addrepo.sh new file mode 100755 index 0000000..febac0d --- /dev/null +++ b/.ci/addrepo.sh @@ -0,0 +1,9 @@ +#!/bin/bash + +if [ "$RUNFROMSHELL" != "" ]; +then + echo "Running from shell. Skipping apt-get install" + return +fi + +echo "deb http://deb.debian.org/debian $1 main" >> /etc/apt/sources.list |