20 lines
177 B
Bash
Executable File
20 lines
177 B
Bash
Executable File
#!/bin/bash
|
|
#
|
|
# Utility functions, used by demo.sh and regtest.sh.
|
|
|
|
banner() {
|
|
echo
|
|
echo "----- $@"
|
|
echo
|
|
}
|
|
|
|
log() {
|
|
echo 1>&2 "$@"
|
|
}
|
|
|
|
die() {
|
|
log "$0: $@"
|
|
exit 1
|
|
}
|
|
|