diff --git a/packaging/clean_env.sh b/packaging/clean_env.sh index a889064693a04807e4f5b26109424763974b4779..4e27c09b1b17be7535010ce1da67a206792189d2 100755 --- a/packaging/clean_env.sh +++ b/packaging/clean_env.sh @@ -26,6 +26,12 @@ fi if [[ -e packaging/tools/uninstall-khtools.sh ]]; then rm -f packaging/tools/uninstall-khtools.sh fi +if [[ -e packaging/tools/install-prodbtools.sh ]]; then + rm -f packaging/tools/install-prodbtools.sh +fi +if [[ -e packaging/tools/uninstall-prodbtools.sh ]]; then + rm -f packaging/tools/uninstall-prodbtools.sh +fi rm -rf $COMMUNITY_DIR/debug/* rm -rf $COMMUNITY_DIR/release/*