diff options
Diffstat (limited to 'tools/tools.build')
| -rw-r--r-- | tools/tools.build | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tools/tools.build b/tools/tools.build index 4c404246..c9883ab4 100644 --- a/tools/tools.build +++ b/tools/tools.build @@ -6,5 +6,16 @@ <include name="asmref.cs" /> </sources> </csc> + + <if test="${property::exists('signed')}"> + <property name="defs" value="${signed}" /> + </if> + <property overwrite="false" name="defs" value="" /> + <csc target="exe" output="pubkey.exe" define="${defs}" optimize="true" rebuild="true"> + <sources> + <include name="pubkey.cs" /> + </sources> + </csc> + <exec program="pubkey.exe" useruntimeengine="true" /> </target> </project> |