Thanks, applied as 9a3b0cc916621929b1600f0a0322011b3840983a. Michael
[sent from post-receive hook] On Fri, 23 Apr 2021 15:47:31 +0200, Roland Hieber <[email protected]> wrote: > The current output is not very explanatory: > > $ ptxdist drop > > rm: cannot remove '.../platform-foo/state/': Is a directory > dropping > > 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 d57574f8ce76..f5ded85577ef 100755 > --- a/bin/ptxdist > +++ b/bin/ptxdist > @@ -966,6 +966,11 @@ clean() { > drop() { > local statefile > > + if [ -z "${1}" ]; then > + echo "Usage: drop <package>.<stage>" > + exit 1 > + fi > + > if [ -z "${2}" ]; then > statefile="${1}" > else _______________________________________________ ptxdist mailing list [email protected] To unsubscribe, send a mail with subject "unsubscribe" to [email protected]
