Download jflex from bintray

2017-11-09 17:34:29 +03:00
parent a547019ed0
commit c0a3344803
1 changed files with 1 additions and 1 deletions
@@ -204,7 +204,7 @@
        <untar src="${dependencies}/download/${android-sources.tgz}" dest="${dependencies}/dx-src" compression="gzip"/>

        <mkdir dir="${dependencies}/jflex"/>
-        <get src="https://raw.github.com/JetBrains/intellij-community/726738ae1ff4d4dbde1a56d06655aace9b74fe5e~1/tools/lexer/jflex-1.7.0-SNAPSHOT.jar"
+        <get src="https://jetbrains.bintray.com/intellij-third-party-dependencies/org/jetbrains/intellij/deps/jflex/jflex/1.7.0/jflex-1.7.0.jar"
             dest="${dependencies}/jflex/JFlex.jar" usetimestamp="true"/>
        <get src="https://raw.github.com/JetBrains/intellij-community/master/tools/lexer/idea-flex.skeleton"
             dest="${dependencies}/jflex/idea-flex.skeleton" usetimestamp="true"/>