[ptxdist] [PATCH 2/2] ptxdist: remove superfluous deletion of logs in distclean action

[Markus Heidelberg <m.heidelberg@cab.de>]

There is always a platform build directory, the logfile is not created
in BSP root ($PTXDIST_WORKSPACE/logfile) anymore since commit
83bf2580f8 ("[ptxdist] always use a platform dir", 2010-11-15).

Furthermore, $PTX_LOGFILE is already deleted in clean() invoked at the
beginning of the "distclean" action, so the whole rm command is
unnecessary.

Also remove "logfile" from ignore rules, it is only created in the
platform build directory of the BSP, not in the PTXdist tree.

Signed-off-by: Markus Heidelberg <m.heidelberg@cab.de>
---
 .gitignore  | 2 --
 bin/ptxdist | 3 ---
 2 files changed, 5 deletions(-)

diff --git a/.gitignore b/.gitignore
index 50bfa5185..23623fdb5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,8 +13,6 @@
 \#*#
 .\#*
 
-logfile
-
 /bin/*
 !/bin/ptxdist
 !/bin/ptxdist-auto-version
diff --git a/bin/ptxdist b/bin/ptxdist
index 08d7f03c4..1f561fdf6 100755
--- a/bin/ptxdist
+++ b/bin/ptxdist
@@ -1815,9 +1815,6 @@ EOF
 				fi
 			done
 
-			echo "${PTXDIST_LOG_PROMPT}removing logs..."
-			rm -f -- "${PTX_LOGFILE}" "${PTXDIST_WORKSPACE}/logfile"
-
 			echo
 			exit
 			;;
-- 
2.43.0