mirror of
https://github.com/nim-lang/Nim.git
synced 2025-12-30 18:02:05 +00:00
9 lines
172 B
Bash
9 lines
172 B
Bash
# utilities used in CI pipelines to avoid duplication.
|
|
|
|
echo_run () {
|
|
# echo's a command before running it, which helps understanding logs
|
|
echo ""
|
|
echo "$@"
|
|
"$@"
|
|
}
|