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

Federico Fissore · Federico Fissore · commit c206ba6b8459 · 2013-08-29T09:44:18.000+02:00
diff --git a/build/build.xml b/build/build.xml
@@ -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" />
