pmd/pmd-dist
Juan Pablo Civile 39eb581134 Fix run.sh for paths with spaces
When redirecting arguments, "$@" must be used.

cherry-picked: 429e1a91a160c609c9b3bd4094ce2718b42793a1
cherry-picked: 59f5c8639277a572ae39128837e891ab1f178e0b
2015-06-06 19:38:02 +02:00
..
2015-06-06 19:38:02 +02:00