diff options
| -rw-r--r-- | build.ant | 12 | ||||
| -rw-r--r-- | src/local/server-tools/rz.py | 2 |
2 files changed, 7 insertions, 7 deletions
@@ -135,13 +135,13 @@ includes="*" /> </copy> - </parallel> + <!-- tools. use cp to preserve permissions (copy doesn't). + out of parallel so ${targetDeploymentDir}/bin is already created --> + <exec executable="cp" failonerror="true"> + <arg line="-R src/local/server-tools ${targetDeploymentDir}/tools"/> + </exec> - <!-- tools. use cp to preserve permissions (copy doesn't). - out of parallel so ${targetDeploymentDir}/bin is already created --> - <exec executable="cp" failonerror="true"> - <arg line="-R src/local/server-tools ${targetDeploymentDir}/bin/tools"/> - </exec> + </parallel> </target> diff --git a/src/local/server-tools/rz.py b/src/local/server-tools/rz.py index 158be707..001512b8 100644 --- a/src/local/server-tools/rz.py +++ b/src/local/server-tools/rz.py @@ -4,7 +4,7 @@ import os # to work both from source dir and from deployment dir path = None -for postfix in [['..'], ['..', '..', 'server']]: +for postfix in [['..', 'bin'], ['..', '..', 'server']]: candidate = os.path.join(*([os.path.dirname(__file__)] + postfix)) if os.path.exists(candidate): path = candidate |