diff --git a/dataset_download/build/build.xml b/dataset_download/build/build.xml index 6a3d8b2c05f54d192f416c0aecdd0ffb4bf7ec7c..cf75b6f47e324fea6c47f190fca0a8edeecdb07e 100644 --- a/dataset_download/build/build.xml +++ b/dataset_download/build/build.xml @@ -57,8 +57,8 @@ <copy file="${lib}/commons-codec/commons-codec.jar" todir="${dist.download-service.lib}" /> <property name="dist.file" value="${dist.file.prefix}-${version.number}-r${revision.number}.zip" /> <zip basedir="${dist}" destfile="${dist.file}"> - <zipfileset dir="${original.dist}" excludes="**.download-service.sh" prefix="${mainfolder}" /> - <zipfileset file="${original.dist}.download-service.sh" filemode="755" prefix="${mainfolder}" /> + <zipfileset dir="${original.dist}" excludes="**/download-service.sh" prefix="${mainfolder}" /> + <zipfileset file="${original.dist}/download-service.sh" filemode="755" prefix="${mainfolder}" /> </zip> <delete dir="${dist.download-service}" /> </target>