tree ef8a33ddb524b814833b36063e131c70d1b35b85
parent fdeab76f7ea7b508a8bae9465d35761571092a7c
author Vincent Latombe <vincent@latombe.net> 1438690224 +0200
committer Vincent Latombe <vincent@latombe.net> 1438690983 +0200

Fix copy of files with a $ in filename

This fixes support for configuration files under jenkins_home containing
a $ character. With the previous version, bash would evaluate the part
starting with $, replacing it with nothing, so the file wasn't copied.