diff --git a/tools/copy_clones.sh b/tools/copy_clones.sh new file mode 100755 index 0000000..6fcf062 --- /dev/null +++ b/tools/copy_clones.sh @@ -0,0 +1,12 @@ +#!/bin/bash + +DEVICES=(nanos nanos2 nanox stax flex) + +for dev in "${DEVICES[@]}"; do + elf_file="build/${dev}/bin/app.elf" + if [[ -f ${elf_file} ]]; then + cp "${elf_file}" "tests/ragger/.test_dependencies/clone/build/${dev}/bin/" + else + echo "Ignoring unknown file/dev: ${elf_file}" + fi +done