Minor optimizations for endPage function.

[DictionaryPC.git] / WiktionarySplitter.sh

diff --git a/WiktionarySplitter.sh b/WiktionarySplitter.sh
index 57b16cbbe95fb81056eabc58cc2251a0cfd93865..f1dcae4051e1a1f459d69d0117b1bf1508495ab9 100755 (executable)
--- a/WiktionarySplitter.sh
+++ b/WiktionarySplitter.sh
@@ -7,4 +7,4 @@ test -r "$XERCES" || XERCES=/usr/share/xerces-2/lib/xercesImpl.jar
 COMMONS_COMPRESS=/usr/share/java/commons-compress-1.13.jar
 JAVA=/usr/lib/jvm/java-8-openjdk-amd64/jre/bin/java
 test -x "$JAVA" || JAVA=java
-"$JAVA" -classpath src:../Util/src/:../Dictionary/src/:"$ICU4J":"$XERCES":"$COMMONS_COMPRESS" com.hughes.android.dictionary.engine.WiktionarySplitter "$@"
+"$JAVA" -Xverify:none -classpath src:../Util/src/:../Dictionary/src/:"$ICU4J":"$XERCES":"$COMMONS_COMPRESS" com.hughes.android.dictionary.engine.WiktionarySplitter "$@"