diff -r 0e533ceee717 -r 78aaf5d3314d common/autoconf/spec.gmk.in
--- a/common/autoconf/spec.gmk.in	Fri Jun 28 12:00:03 2013 +0200
+++ b/common/autoconf/spec.gmk.in	Fri Jun 28 12:02:37 2013 +0200
@@ -510,6 +510,7 @@
 TAIL:=@TAIL@
 TEE:=@TEE@
 TIME:=@TIME@
+IS_GNU_TIME:=@IS_GNU_TIME@
 TR:=@TR@
 TOUCH:=@TOUCH@
 UNIQ:=@UNIQ@