diff options
Diffstat (limited to '.ci/copyfinal.sh')
| -rwxr-xr-x | .ci/copyfinal.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/.ci/copyfinal.sh b/.ci/copyfinal.sh new file mode 100755 index 0000000..0e1fa55 --- /dev/null +++ b/.ci/copyfinal.sh @@ -0,0 +1,12 @@ +#!/bin/bash + +echo mkdir -p "./bin/${installname}" +mkdir -p "./bin/${installname}" + +echo cp -r "/usr/local/spm/bin/${installname}" "./bin/" +cp -r "/usr/local/spm/bin/${installname}" "./bin/" + +echo "/usr/local/spm/env/*.sh ./bin/${installname}/" +cp /usr/local/spm/env/*.sh "./bin/${installname}/" || exit 1 +echo "cp /usr/local/spm/env/run${installname}.sh ./bin/${installname}/runenv.sh" +cp "/usr/local/spm/env/run${installname}.sh" "./bin/${installname}/runenv.sh" || exit 1 |