Gilles Peskine  
		
	
	
		1411c7c0d6 
		
	 
	
	
	Don't make configuration-independent files depend on config.h  
		
			... 
			Don't regenerate configuration-independent files when config.h or
crypto_config.h changes. These files only depend on the set of symbols
present in the headers and not on which symbols are enabled. To avoid
rebuilding the generated files whenever the configuration changes,
don't declare the configuration as a dependency.
In the rare event that a maintainer makes an edit to *config.h that
affects the generated files, they'll have to remove the generated files.
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com> 
		
	 
 
		2021-05-20 10:37:22 +02:00 
	 
	
	
		  ..
	 
	
	
		
			
			
			
			
			
			2021-05-20 10:37:22 +02:00 
		 
	
		
			
			
			
			
			
			2021-04-30 00:07:04 +02:00 
		 
	
		
			
			
			
			
			
			2021-03-10 12:52:37 +00:00 
		 
	
		
			
			
			
			
			
			2021-03-10 12:52:37 +00:00 
		 
	
		
	
		
	
		
	
		
	
		
			
			
			
			
			
			2021-03-04 14:34:50 +00:00 
		 
	
		
			
			
			
			
			
			2021-05-07 10:05:30 +02:00 
		 
	
		
	
		
			
			
			
			
			
			2021-03-10 12:52:37 +00:00 
		 
	
		
	
		
	
		
	
		
	
		
			
			
			
			
			
			2021-03-25 14:25:46 +01:00 
		 
	
		
			
			
			
			
			
			2021-03-10 12:52:37 +00:00 
		 
	
		
			
			
			
			
			
			2021-03-10 12:52:37 +00:00 
		 
	
		
			
			
			
			
			
			2021-04-30 00:07:04 +02:00 
		 
	
		
			
			
			
			
			
			2021-03-02 10:18:08 +01:00 
		 
	
		
			
			
			
			
			
			2021-05-07 23:32:32 +02:00 
		 
	
		
			
			
			
			
			
			2021-04-13 15:21:43 +01:00 
		 
	
		
			
			
			
			
			
			2021-04-30 00:07:04 +02:00 
		 
	
		
			
			
			
			
			
			2021-04-27 17:18:52 +01:00 
		 
	
		
	
		
			
			
			
			
			
			2021-04-15 11:19:47 +01:00 
		 
	
		
	
		
			
			
			
			
			
			2021-05-07 10:05:30 +02:00 
		 
	
		
			
			
			
			
			
			2021-03-17 11:36:31 +01:00 
		 
	
		
			
			
			
			
			
			2021-03-10 12:52:37 +00:00 
		 
	
		
			
			
			
			
			
			2021-04-04 01:10:41 +02:00 
		 
	
		
			
			
			
			
			
			2021-04-09 15:46:51 +02:00 
		 
	
		
			
			
			
			
			
			2021-04-28 08:35:00 +02:00 
		 
	
		
			
			
			
			
			
			2021-04-07 16:31:09 +01:00 
		 
	
		
			
			
			
			
			
			2021-03-10 12:52:37 +00:00 
		 
	
		
			
			
			
			
			
			2021-04-07 16:31:09 +01:00 
		 
	
		
			
			
			
			
			
			2021-04-07 16:31:09 +01:00 
		 
	
		
	
		
			
			
			
			
			
			2021-04-30 00:07:04 +02:00 
		 
	
		
			
			
			
			
			
			2021-05-20 10:37:22 +02:00 
		 
	
		
			
			
			
			
			
			2021-04-15 12:34:09 +02:00 
		 
	
		
			
			
			
			
			
			2021-04-15 12:34:09 +02:00 
		 
	
		
			
			
			
			
			
			2021-04-15 12:34:09 +02:00 
		 
	
		
			
			
			
			
			
			2021-03-10 12:52:37 +00:00 
		 
	
		
			
			
			
			
			
			2021-04-22 12:42:40 +02:00 
		 
	
		
	
		
			
			
			
			
			
			2021-04-07 12:45:35 +01:00 
		 
	
		
			
			
			
			
			
			2021-03-29 14:20:18 +01:00 
		 
	
		
			
			
			
			
			
			2021-04-07 12:45:35 +01:00 
		 
	
		
			
			
			
			
			
			2021-03-29 14:20:18 +01:00 
		 
	
		
			
			
			
			
			
			2021-04-07 12:45:35 +01:00 
		 
	
		
			
			
			
			
			
			2021-04-07 12:45:35 +01:00 
		 
	
		
			
			
			
			
			
			2021-05-07 13:17:06 -06:00 
		 
	
		
	
		
			
			
			
			
			
			2021-04-27 17:20:56 +01:00 
		 
	
		
			
			
			
			
			
			2021-03-10 12:52:37 +00:00 
		 
	
		
			
			
			
			
			
			2021-03-10 12:52:37 +00:00 
		 
	
		
			
			
			
			
			
			2021-04-15 11:19:47 +01:00 
		 
	
		
			
			
			
			
			
			2021-05-12 18:43:06 +01:00 
		 
	
		
			
			
			
			
			
			2021-03-10 12:52:37 +00:00 
		 
	
		
			
			
			
			
			
			2021-04-21 12:31:43 +02:00 
		 
	
		
			
			
			
			
			
			2021-04-15 11:19:47 +01:00 
		 
	
		
			
			
			
			
			
			2021-04-15 11:19:47 +01:00 
		 
	
		
			
			
			
			
			
			2021-04-28 14:12:07 +01:00 
		 
	
		
			
			
			
			
			
			2021-04-21 12:31:43 +02:00 
		 
	
		
	
		
	
		
	
		
			
			
			
			
			
			2021-04-15 17:32:06 +02:00 
		 
	
		
			
			
			
			
			
			2021-04-07 16:03:31 +02:00 
		 
	
		
			
			
			
			
			
			2021-03-26 15:58:25 +01:00 
		 
	
		
			
			
			
			
			
			2021-03-26 15:58:25 +01:00 
		 
	
		
	
		
			
			
			
			
			
			2021-05-13 11:19:01 +02:00 
		 
	
		
			
			
			
			
			
			2021-05-13 11:19:01 +02:00 
		 
	
		
			
			
			
			
			
			2021-05-13 11:18:57 +02:00 
		 
	
		
			
			
			
			
			
			2021-03-15 12:14:40 +01:00 
		 
	
		
	
		
			
			
			
			
			
			2021-04-01 10:50:03 +02:00 
		 
	
		
			
			
			
			
			
			2021-04-19 10:51:59 +02:00 
		 
	
		
			
			
			
			
			
			2021-03-03 19:58:02 +01:00 
		 
	
		
	
		
			
			
			
			
			
			2021-05-11 11:10:34 +02:00 
		 
	
		
			
			
			
			
			
			2021-05-10 11:29:13 +02:00 
		 
	
		
	
		
			
			
			
			
			
			2021-04-07 16:36:53 +01:00 
		 
	
		
	
		
	
		
	
		
	
		
			
			
			
			
			
			2021-04-16 11:22:17 +02:00 
		 
	
		
			
			
			
			
			
			2021-04-01 14:05:41 +02:00 
		 
	
		
	
		
	
		
			
			
			
			
			
			2021-05-17 13:49:19 +02:00 
		 
	
		
			
			
			
			
			
			2021-03-10 17:00:32 +00:00 
		 
	
		
			
			
			
			
			
			2021-04-15 12:34:09 +02:00 
		 
	
		
			
			
			
			
			
			2021-03-10 12:52:37 +00:00 
		 
	
		
			
			
			
			
			
			2021-03-10 12:52:37 +00:00 
		 
	
		
			
			
			
			
			
			2021-05-12 18:55:58 +01:00 
		 
	
		
			
			
			
			
			
			2021-04-15 12:34:09 +02:00 
		 
	
		
			
			
			
			
			
			2021-04-15 12:34:09 +02:00 
		 
	
		
			
			
			
			
			
			2021-04-15 12:34:09 +02:00 
		 
	
		
			
			
			
			
			
			2021-03-10 12:52:37 +00:00 
		 
	
		
			
			
			
			
			
			2021-04-27 09:34:14 +02:00 
		 
	
		
			
			
			
			
			
			2021-04-29 14:55:30 +02:00 
		 
	
		
			
			
			
			
			
			2021-04-28 16:47:29 +02:00 
		 
	
		
	
		
			
			
			
			
			
			2021-05-17 16:36:04 +02:00 
		 
	
		
			
			
			
			
			
			2021-05-15 06:14:56 +01:00 
		 
	
		
			
			
			
			
			
			2021-04-15 13:55:20 +02:00 
		 
	
		
			
			
			
			
			
			2021-03-10 12:52:37 +00:00 
		 
	
		
			
			
			
			
			
			2021-03-10 12:52:37 +00:00 
		 
	
		
	
		
			
			
			
			
			
			2021-05-17 16:36:04 +02:00 
		 
	
		
	
		
	
		
	
		
	
		
			
			
			
			
			
			2021-04-28 17:31:55 +01:00 
		 
	
		
			
			
			
			
			
			2021-04-28 17:31:55 +01:00 
		 
	
		
			
			
			
			
			
			2021-04-28 17:31:55 +01:00 
		 
	
		
			
			
			
			
			
			2021-04-28 17:31:55 +01:00