1diff --git a/build/build.xml b/build/build.xml
2index 8ad556c11..e61b6ae45 100644
3--- a/build/build.xml
4+++ b/build/build.xml
5@@ -453,8 +453,6 @@
6
7 <!-- the revision.base property won't be set
8 if $revision wasn't found... -->
9- <fail unless="revision.correct"
10- message="Fix revision number in Base.java" />
11 </target>
12
13