From d52eda852eea10d7962b211044fec08354be3283 Mon Sep 17 00:00:00 2001
From: Allan Odgaard <git@abetarda.com>
Date: Mon, 10 Feb 2014 13:51:04 +0700
Subject: [PATCH] Disable timestamp server for code signing

This slows down signing enormously (10+ seconds) and fails most of the time when internet connectivity is suboptimal (might be related to being behind a proxy).
---
 bin/gen_build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/gen_build b/bin/gen_build
index 4cdfdac8..cd0797b7 100755
--- a/bin/gen_build
+++ b/bin/gen_build
@@ -909,7 +909,7 @@ rule run_application
   description = Run ‘$in’…
 
 rule sign_executable
-  command = codesign --deep -fs "$identity" $in && touch $out
+  command = codesign --timestamp=none --deep -fs "$identity" $in && touch $out
   description = Sign ‘$in’…
 
 rule tbz_archive