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
9banner() {
10 echo -----
11 echo "$@"
12 echo -----
13}