Properly locate idea.properties
This commit is contained in:
@@ -1,6 +1,6 @@
|
|||||||
<project name="GrammarLexer" default="lexer">
|
<project name="GrammarLexer" default="lexer">
|
||||||
<property name="home" value="${basedir}"/>
|
<property name="home" value="${basedir}"/>
|
||||||
<property file="${home}/../frontend/idea.properties"/>
|
<property file="${home}/../compiler/frontend/idea.properties"/>
|
||||||
|
|
||||||
<property name="flex.base" value="${idea.home}/tools/lexer/jflex-1.4"/>
|
<property name="flex.base" value="${idea.home}/tools/lexer/jflex-1.4"/>
|
||||||
<property name="out.dir" value="${basedir}/tmpout"/>
|
<property name="out.dir" value="${basedir}/tmpout"/>
|
||||||
|
|||||||
Reference in New Issue
Block a user