diff options
| -rwxr-xr-x | include/lib.sh | 6 | 
1 files changed, 3 insertions, 3 deletions
| diff --git a/include/lib.sh b/include/lib.sh index 68e36021..5ae34818 100755 --- a/include/lib.sh +++ b/include/lib.sh @@ -17,12 +17,12 @@ err="err_"  badcmd()  { -	errmsg="no context given" -	[ $# -gt 0 ] && errmsg="$1" +	errmsg="Bad command" +	[ $# -gt 0 ] && errmsg="Bad command ($1)"  	dstr="See $projectname build system docs: ${projectsite}docs/maintain/"  	[ -d "docs" ] && dstr="$dstr (local docs available via docs/)" -	$err "Bad command ($errmsg). $dstr" +	$err "$errmsg. $dstr"  }  err_()  { | 
