diff options
Diffstat (limited to 'eclipse/scripts/build_plugins.sh')
-rwxr-xr-x | eclipse/scripts/build_plugins.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/eclipse/scripts/build_plugins.sh b/eclipse/scripts/build_plugins.sh index 20217b9..5796a6c 100755 --- a/eclipse/scripts/build_plugins.sh +++ b/eclipse/scripts/build_plugins.sh @@ -239,4 +239,9 @@ if [ -n "$ECLIPSE_PID" ] && [ -f "$PID_FILE" ]; then kill -9 "$ECLIPSE_PID" fi +# Remove build files left by Eclipse all behind +rm -fv *.properties *.xml +find . -name "@*" | xargs rm -rfv + + # we're done! |