17 lines
No EOL
438 B
Bash
Executable file
17 lines
No EOL
438 B
Bash
Executable file
#!/bin/bash
|
|
|
|
storage_device="${1}"
|
|
|
|
umount "${storage_device}"
|
|
echo "MOUNTING..."
|
|
mkdir -p mount
|
|
mount "${storage_device}" mount
|
|
|
|
echo "COPYING..."
|
|
cp -v blood/target/riscv32imac-unknown-none-elf/release/BLOOD.DDI mount
|
|
cp -v turntable/target/riscv32imac-unknown-none-elf/release/TURNTBL.DDI mount
|
|
cp -v example/target/riscv32imac-unknown-none-elf/release/EXAMPLE.DDI mount
|
|
|
|
echo "UNMOUNTING..."
|
|
umount "${storage_device}"
|
|
echo "COMPLETE" |