diff options
Diffstat (limited to 'java/ant/PRE_BUILD')
-rwxr-xr-x | java/ant/PRE_BUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/java/ant/PRE_BUILD b/java/ant/PRE_BUILD index 5c5cb06d8f..b9ee217a2f 100755 --- a/java/ant/PRE_BUILD +++ b/java/ant/PRE_BUILD @@ -1,7 +1,7 @@ default_pre_build && -cd $SOURCE_DIRECTORY && +cd "$SOURCE_DIRECTORY" && # fix bugs #13749 and #3230 : removing junit task if not installed if ! spell_ok junit; then - patch -p0 < ${SPELL_DIRECTORY}/ant-buildfile-junit.patch + sedit "s:,test-jar::" build.xml fi |