Projet_SETI_RISC-V/riscv-gnu-toolchain/scripts/wrapper/make_tail
2023-03-06 14:48:14 +01:00

6 lines
54 B
Bash
Executable file

#!/bin/bash
set -o pipefail
set -e
make "$@" | tail