5 lines
55 B
Bash
Executable file
5 lines
55 B
Bash
Executable file
#!/bin/bash
|
|
set -euo pipefail
|
|
|
|
cd toolchain
|
|
make shell
|