diff options
author | Endi Sukma Dewata <edewata@redhat.com> | 2013-02-20 17:06:11 -0500 |
---|---|---|
committer | Endi Sukma Dewata <edewata@redhat.com> | 2013-02-20 17:06:11 -0500 |
commit | dfdb289645231eebd2022f9f55c01aa5e19e8567 (patch) | |
tree | 6cb39b83f0f9560c2abb77d16fca15f85218afc7 /base/javacard/build.xml | |
parent | 291d1962b67db4cb3fd984a547ed4827ec65e327 (diff) | |
download | pki-dfdb289645231eebd2022f9f55c01aa5e19e8567.tar.gz pki-dfdb289645231eebd2022f9f55c01aa5e19e8567.tar.xz pki-dfdb289645231eebd2022f9f55c01aa5e19e8567.zip |
Added cref script.
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"/>
|