1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-26 20:54:22 +01:00

Merge branch 'ide-1.5.x' into dev-ide-1.5.x-discovery

This commit is contained in:
Federico Fissore 2013-08-29 09:44:18 +02:00
commit c206ba6b84

View File

@ -291,7 +291,7 @@
<!-- Sign app -->
<exec executable="codesign" dir="macosx/work" failonerror="true">
<arg line="--keychain &quot;${macosx-sign-keychain}&quot; -s &quot;${macosx-sign-id}&quot; -v Arduino.app/" />
<arg line="--keychain &quot;${macosx-sign-keychain}&quot; --force -s &quot;${macosx-sign-id}&quot; -v Arduino.app/" />
</exec>
<delete file="macosx/arduino-${version}-${platform}.zip" />