diff options
author | Andrei Karas <akaras@inbox.ru> | 2017-10-07 01:38:46 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2017-10-07 01:38:46 +0300 |
commit | 6f4d6c019d9654a3e7f4720ccb2d204b62f1afea (patch) | |
tree | 0a39d0ef70dca70f7b7c1d8a9df239af2b02630f | |
parent | 2150f44b9a8b36d32bdc872bd9674e21f17dd901 (diff) | |
download | spm-6f4d6c019d9654a3e7f4720ccb2d204b62f1afea.tar.gz spm-6f4d6c019d9654a3e7f4720ccb2d204b62f1afea.tar.bz2 spm-6f4d6c019d9654a3e7f4720ccb2d204b62f1afea.tar.xz spm-6f4d6c019d9654a3e7f4720ccb2d204b62f1afea.zip |
Add script clonesrc.sh for cloning separate sources.
-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} |