diff options
Diffstat (limited to 'base/javacard/build.xml')
-rw-r--r-- | base/javacard/build.xml | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/base/javacard/build.xml b/base/javacard/build.xml index cdf3580be..ab57307da 100644 --- a/base/javacard/build.xml +++ b/base/javacard/build.xml @@ -132,7 +132,19 @@ </junit>
</target>
- <target name="clean-build" depends="clean,build"/>
+ <target name="start-cref">
+ <exec executable="bin/cref.sh">
+ <arg value="start"/>
+ </exec>
+ </target>
+
+ <target name="stop-cref">
+ <exec executable="bin/cref.sh">
+ <arg value="stop"/>
+ </exec>
+ </target>
+
+ <target name="clean-build" depends="clean,build"/>
<target name="main" depends="clean,test"/>
|