Thanks, applied as 65c1a38738aec3c40722f3ee64040da44e35a3a2.

Michael

[sent from post-receive hook]

On Fri, 23 Apr 2021 15:47:33 +0200, Roland Hieber <[email protected]> wrote:
> The current output is not very explanatory:
> 
>     $ ptxdist package-info
>     ptxdist: error: please use 'ptxdist' instead of calling make directly.
>     make: *** [.../ptxdist/rules/other/Toplevel.make:55: all] Error 1
> 
> Signed-off-by: Roland Hieber <[email protected]>
> Message-Id: <[email protected]>
> Signed-off-by: Michael Olbrich <[email protected]>
> 
> diff --git a/bin/ptxdist b/bin/ptxdist
> index f5ded85577ef..13f81674f4fd 100755
> --- a/bin/ptxdist
> +++ b/bin/ptxdist
> @@ -1886,6 +1886,11 @@ EOF
>               package-info)
>                       declare -a pkgs
>  
> +                     if [ ${#} -eq 0 ]; then
> +                             echo "Usage: package-info <packages...>"
> +                             exit 1
> +                     fi
> +
>                       check_config &&
>                       check_deps &&
>                       pkgs=( "${@/#/${STATEDIR}/}" ) &&

_______________________________________________
ptxdist mailing list
[email protected]
To unsubscribe, send a mail with subject "unsubscribe" to 
[email protected]

Reply via email to