Alban Bedel ffdf98b204 
	
	
	scripts: time.pl: Don't print the time on stderr ... 
			Having the build time written on stderr make it appear with V=w
although it is not an error or warning. Just write the time on stdout
to have it part of the build log like all the rest, but not clutter
the output when only warnings and errors should be shown.
Signed-off-by: Alban Bedel <albeu@free.fr >
(cherry picked from commit 340df72e07 
		
	 
		2019-09-04 13:23:00 +02:00 
	 
	
	
	
		 
	
	
		
			
			
			
			
			
			2019-09-04 13:16:14 +02:00 
		 
	
		
			
			
			
			
			
			2019-02-28 11:32:55 +01:00 
		 
	
		
			
			
			
			
			
			2015-05-28 10:48:23 +00:00 
		 
	
		
			
			
			
			
			
			2017-12-08 19:41:18 +01:00 
		 
	
		
			
			
			
			
			
			2018-08-29 14:19:43 +02:00 
		 
	
		
			
			
			
			
			
			2017-12-08 19:41:18 +01:00 
		 
	
		
			
			
			
			
			
			2013-10-28 15:15:09 +00:00 
		 
	
		
			
			
			
			
			
			2019-05-17 21:41:43 +02:00 
		 
	
		
			
			
			
			
			
			2017-05-02 14:33:58 +02:00 
		 
	
		
			
			
			
			
			
			2017-05-02 14:33:58 +02:00 
		 
	
		
			
			
			
			
			
			2018-01-13 07:58:46 +01:00 
		 
	
		
			
			
			
			
			
			2017-07-14 04:09:16 +02:00 
		 
	
		
			
			
			
			
			
			2018-11-01 17:16:52 +01:00 
		 
	
		
	
		
			
			
			
			
			
			2018-11-01 17:16:52 +01:00 
		 
	
		
			
			
			
			
			
			2016-04-28 16:43:28 +02:00 
		 
	
		
			
			
			
			
			
			2016-10-06 22:00:10 +02:00 
		 
	
		
			
			
			
			
			
			2015-10-07 10:51:18 +00:00 
		 
	
		
			
			
			
			
			
			2018-07-17 17:27:01 +00:00 
		 
	
		
			
			
			
			
			
			2018-05-01 11:12:15 +02:00 
		 
	
		
			
			
			
			
			
			2018-05-05 09:44:43 +02:00 
		 
	
		
			
			
			
			
			
			2017-05-11 13:43:01 -07:00 
		 
	
		
			
			
			
			
			
			2019-09-04 13:22:34 +02:00 
		 
	
		
			
			
			
			
			
			2018-07-05 01:30:57 +08:00 
		 
	
		
			
			
			
			
			
			2019-03-27 00:13:30 +02:00 
		 
	
		
			
			
			
			
			
			2017-02-19 16:56:18 +01:00 
		 
	
		
			
			
			
			
			
			2017-02-02 00:13:50 +01:00 
		 
	
		
			
			
			
			
			
			2017-02-01 17:48:45 +01:00 
		 
	
		
			
			
			
			
			
			2018-11-08 11:52:33 +01:00 
		 
	
		
			
			
			
			
			
			2019-01-31 12:35:29 +01:00 
		 
	
		
			
			
			
			
			
			2019-01-21 16:35:40 +01:00 
		 
	
		
			
			
			
			
			
			2016-06-07 08:58:42 +02:00 
		 
	
		
			
			
			
			
			
			2019-01-26 21:43:07 +01:00 
		 
	
		
			
			
			
			
			
			2016-03-24 22:40:13 +01:00 
		 
	
		
	
		
			
			
			
			
			
			2019-05-11 11:37:10 +02:00 
		 
	
		
			
			
			
			
			
			2017-01-05 11:09:12 +01:00 
		 
	
		
			
			
			
			
			
			2019-02-25 17:36:16 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-17 08:09:04 +01:00 
		 
	
		
			
			
			
			
			
			2018-09-10 10:01:58 +02:00 
		 
	
		
			
			
			
			
			
			2019-09-04 13:18:24 +02:00 
		 
	
		
			
			
			
			
			
			2016-04-28 16:43:28 +02:00 
		 
	
		
			
			
			
			
			
			2015-08-25 07:46:32 +00:00 
		 
	
		
	
		
			
			
			
			
			
			2016-02-01 10:43:27 +00:00 
		 
	
		
			
			
			
			
			
			2019-04-26 13:09:33 +00:00 
		 
	
		
			
			
			
			
			
			2016-04-28 16:43:28 +02:00 
		 
	
		
	
		
			
			
			
			
			
			2017-02-07 17:18:15 +01:00 
		 
	
		
			
			
			
			
			
			2018-12-19 15:36:05 +01:00 
		 
	
		
			
			
			
			
			
			2018-06-05 10:07:42 -04:00 
		 
	
		
			
			
			
			
			
			2016-06-07 11:42:52 +02:00 
		 
	
		
			
			
			
			
			
			2016-02-01 13:33:33 +00:00 
		 
	
		
			
			
			
			
			
			2016-11-30 10:13:14 +01:00 
		 
	
		
			
			
			
			
			
			2019-01-02 22:36:17 +01:00 
		 
	
		
			
			
			
			
			
			2019-05-11 11:37:10 +02:00 
		 
	
		
			
			
			
			
			
			2019-09-04 13:23:00 +02:00 
		 
	
		
	
		
			
			
			
			
			
			2019-08-01 21:54:40 +02:00