diff options
author | Michael Olbrich <m.olbrich@pengutronix.de> | 2010-10-29 12:37:49 +0200 |
---|---|---|
committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2010-11-05 19:48:58 +0100 |
commit | b54885c885aeb944786f5afeced377bc68998142 (patch) | |
tree | e583ee974520e73550cee9f9b6902c49f6aabf9e /scripts/lib/ptxd_make_world_clean.sh | |
parent | 9d00074639830688c982b88762423cb81ccf49fd (diff) | |
download | ptxdist-b54885c885aeb944786f5afeced377bc68998142.tar.gz ptxdist-b54885c885aeb944786f5afeced377bc68998142.tar.xz |
[ptxd_make_world_clean] delete dev packages
Signed-off-by: Michael Olbrich <m.olbrich@pengutronix.de>
Diffstat (limited to 'scripts/lib/ptxd_make_world_clean.sh')
-rw-r--r-- | scripts/lib/ptxd_make_world_clean.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/lib/ptxd_make_world_clean.sh b/scripts/lib/ptxd_make_world_clean.sh index 9f42348d3..928be4c44 100644 --- a/scripts/lib/ptxd_make_world_clean.sh +++ b/scripts/lib/ptxd_make_world_clean.sh @@ -56,6 +56,12 @@ ptxd_make_world_clean() { rm -rf "${pkg_pkg_dir}" echo fi + local pkgs="${pkg_pkg_dev%-*-dev.tar.gz}-*-dev.tar.gz" + if [ -n "$(ls "${ptx_pkg_dir}/"${pkgs} 2> /dev/null)" ]; then + echo "Deleting dev packages:" + ls "${ptx_pkg_dir}/"${pkgs} + rm "${ptx_pkg_dir}/"${pkgs} + fi } export -f ptxd_make_world_clean |