hmz007
36ed224bac
Signed-off-by: hmz007 <hmz007@gmail.com> Change-Id: Ib87fdbe7a0be7dc961af3500fe9ea4589a127f9f
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
|
|
}
|
|
|