Thanks, applied as 23d7d9fecdf86ff22d1576e57eaf0add7e6fde96. Michael
[sent from post-receive hook] On Thu, 16 Jan 2025 17:09:40 +0100, Markus Heidelberg <[email protected]> wrote: > In contrast to "ptxdist clean", "ptxdist distclean" did not remove > $PTX_LOGFILE. The variable wasn't yet initialized when calling clean() > wherein the logfile should have been removed. > > Signed-off-by: Markus Heidelberg <[email protected]> > Message-Id: <[email protected]> > Signed-off-by: Michael Olbrich <[email protected]> > > diff --git a/bin/ptxdist b/bin/ptxdist > index 1503d2e33170..08d7f03c476b 100755 > --- a/bin/ptxdist > +++ b/bin/ptxdist > @@ -1798,6 +1798,7 @@ EOF > exit > ;; > distclean) > + setup_logfile && > clean > > echo "${PTXDIST_LOG_PROMPT}removing configuration > links..."
