OILS
/
devtools
/ common.sh
View on Github
|
oilshell.org
13 lines, 5 significant
1
#!/usr/bin/env bash
2
#
3
# Common shell functions for the devtools directory.
4
#
5
# Usage:
6
# source devtools/common.sh
7
8
# Copied from test/unit.sh
9
banner() {
10
echo -----
11
echo
"
$@
"
12
echo -----
13
}