description: "update or create the ${ISE_EIFFEL}_wkbench folder (cf: http://dev.eiffel.com/Running_EiffelStudio_in_Workbench_mode)"
author: "Jocelyn Fiat and others"
<project name="LocalConfig" default="init">
<target name="init" >
<set name="compile_dir" value="$compile_dir" unless="$$compile_dir" />
</target>
</project>