diff options
Diffstat (limited to 'databases/postgresql-jdbc/files')
-rw-r--r-- | databases/postgresql-jdbc/files/patch-build-xml | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/databases/postgresql-jdbc/files/patch-build-xml b/databases/postgresql-jdbc/files/patch-build-xml deleted file mode 100644 index ff159f939315..000000000000 --- a/databases/postgresql-jdbc/files/patch-build-xml +++ /dev/null @@ -1,14 +0,0 @@ ---- build.xml.orig 2013-10-31 14:48:34.000000000 +0100 -+++ build.xml 2014-06-09 08:19:22.000000000 +0200 -@@ -221,10 +221,7 @@ - - <target name="compile" depends="prepare,check_versions,driver"> - -- <available classname="org.postgresql.Driver" property="old.driver.present" /> -- <fail message="Old driver was detected on classpath or in jre/lib/ext, please remove and try again." if="old.driver.present" /> -- -- <javac classpath="${srcdir}" srcdir="${srcdir}" destdir="${builddir}" debug="${debug}" source="${java.specification.version}"> -+ <javac includeAntRuntime="no" classpath="${srcdir}" srcdir="${srcdir}" destdir="${builddir}" debug="${debug}"> - <patternset refid="jdbc.version.src.pattern"/> - </javac> - </target> |