diff options
author | Andrei Karas <akaras@inbox.ru> | 2017-10-07 20:39:34 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2017-10-07 20:39:34 +0300 |
commit | f8293fcf05547204431c4ded8025bbc94159563e (patch) | |
tree | e2a3c8a361b11d3cf3f6f5043fce5d67e7353f39 | |
parent | 108ed2111b7a8860d8499745e9064b39d76f268c (diff) | |
parent | 6f4d6c019d9654a3e7f4720ccb2d204b62f1afea (diff) | |
download | spm-f8293fcf05547204431c4ded8025bbc94159563e.tar.gz spm-f8293fcf05547204431c4ded8025bbc94159563e.tar.bz2 spm-f8293fcf05547204431c4ded8025bbc94159563e.tar.xz spm-f8293fcf05547204431c4ded8025bbc94159563e.zip |
Merge branch 'master' into zlib
-rwxr-xr-x | .ci/clonesrc.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.ci/clonesrc.sh b/.ci/clonesrc.sh new file mode 100755 index 0000000..b6513a5 --- /dev/null +++ b/.ci/clonesrc.sh @@ -0,0 +1,5 @@ +#!/bin/bash + +./.ci/retry.sh ${MANAPLUS_CLONE} +mkdir cloned/logs +./cloned/tools/ci/scripts/copylib.sh ${LIBNAME} ${LIBVERSION} |