Commit 6831ca6f authored by Tony Wasserka's avatar Tony Wasserka
Browse files

processing: Drop patch that is no longer necessary

parent c57e3b5b
Loading
Loading
Loading
Loading
+0 −13
Original line number Diff line number Diff line
diff --git a/build/build.xml b/build/build.xml
index 8ad556c11..e61b6ae45 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -453,8 +453,6 @@
 
     <!-- the revision.base property won't be set
          if $revision wasn't found... -->
-    <fail unless="revision.correct"
-          message="Fix revision number in Base.java" />
   </target>
 
 
+1 −6
Original line number Diff line number Diff line
@@ -71,12 +71,7 @@ stdenv.mkDerivation rec {
    sha256 = "sha256-u2wQl/VGCNJPd+k3DX2eW7gkA/RARMTSNGcoQuS/Oh8=";
  };

  # Processing did not update the todo.txt file before tagging this release, so
  # the "revision-check" Ant target fails.
  patches = [
    ./disable-revision-check.patch
    ./fix-ant-build.patch
  ];
  patches = [ ./fix-ant-build.patch ];

  nativeBuildInputs = [
    ant