Gilles Peskine
0b62b7a21f
Allow turning off re-generation of files with make
...
In make builds, when GEN_FILES is false (empty), don't try to re-generate
configuration-independent source files, regardless of whether they seem
out of date. This is useful, for example, if you have a source tree where
`make generated_files` has already run and file timestamps reflect the
time the files were copied or extracted, and you are now in an environment
that lacks some of the necessary tools to re-generate the files.
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
2023-09-08 16:19:13 +02:00
..
2023-07-06 17:58:18 +01:00
2023-08-20 20:20:12 +01:00
2023-08-20 20:20:12 +01:00
2023-08-20 20:20:12 +01:00
2023-08-18 20:55:44 +00:00
2023-08-18 17:35:59 +08:00
2023-07-11 14:06:37 +01:00
2023-01-11 14:50:10 +01:00
2023-01-11 14:50:10 +01:00
2023-05-04 13:01:47 +02:00
2023-05-26 12:42:48 +01:00
2023-05-26 12:42:48 +01:00
2023-09-06 08:41:05 +01:00
2023-07-31 12:27:05 +01:00
2023-01-23 19:10:26 +01:00
2023-08-17 14:36:59 +01:00
2023-04-05 16:13:11 +01:00
2023-08-17 14:36:59 +01:00
2023-06-22 09:14:28 +01:00
2023-08-22 12:48:56 +00:00
2023-07-04 18:41:13 +01:00
2023-01-11 14:50:10 +01:00
2023-08-16 22:37:32 +01:00
2023-01-11 14:50:10 +01:00
2023-01-11 14:50:10 +01:00
2023-07-11 14:06:00 +02:00
2023-08-14 15:26:28 +01:00
2023-06-24 13:37:28 +01:00
2023-07-17 15:17:40 +01:00
2023-07-05 15:45:48 +01:00
2023-08-16 09:19:46 +00:00
2023-09-05 18:15:31 +01:00
2023-08-28 08:26:29 +00:00
2023-08-11 08:47:38 +01:00
2023-08-28 08:26:29 +00:00
2023-08-04 13:55:03 +01:00
2023-08-10 08:34:57 +00:00
2023-01-11 14:50:10 +01:00
2023-07-17 15:17:40 +01:00
2023-04-12 06:07:23 +00:00
2023-08-01 22:41:17 +08:00
2023-06-06 10:33:54 +02:00
2023-08-02 10:32:21 +01:00
2023-08-02 10:32:21 +01:00
2023-01-11 14:50:10 +01:00
2023-07-31 10:57:16 +01:00
2023-08-16 17:50:36 +01:00
2023-08-16 12:48:33 +01:00
2023-01-11 14:50:10 +01:00
2023-03-24 10:43:40 +01:00
2023-08-20 20:20:12 +01:00
2023-01-11 14:50:10 +01:00
2023-03-24 10:43:40 +01:00
2023-07-26 11:27:27 +02:00
2023-03-03 05:23:44 -05:00
2023-08-03 12:56:21 +00:00
2023-09-08 16:19:13 +02:00
2023-01-11 14:50:10 +01:00
2023-06-08 12:10:03 +02:00
2023-06-21 12:02:07 +02:00
2023-08-30 08:51:36 +00:00
2023-01-11 14:50:10 +01:00
2023-06-04 14:57:19 -04:00
2023-01-11 14:50:10 +01:00
2023-01-11 14:50:10 +01:00
2023-01-11 14:50:10 +01:00
2023-01-11 14:50:10 +01:00
2023-01-11 14:50:10 +01:00
2023-07-13 19:34:24 +01:00
2023-06-24 13:37:28 +01:00
2023-07-27 15:46:05 +01:00
2023-08-10 13:36:32 +08:00
2023-08-17 11:20:09 +08:00
2023-07-17 15:17:40 +01:00
2023-07-06 12:42:33 +02:00
2023-08-16 09:23:29 +00:00
2023-07-11 14:06:00 +02:00
2023-07-06 12:42:33 +02:00
2023-07-06 12:42:33 +02:00
2023-03-13 12:15:49 +00:00
2023-07-06 12:42:33 +02:00
2023-08-10 06:43:23 +02:00
2023-08-10 07:40:18 +02:00
2023-08-10 06:43:23 +02:00
2023-09-01 11:15:28 +01:00
2023-01-11 14:50:10 +01:00
2023-01-11 14:50:10 +01:00
2023-01-11 14:50:10 +01:00
2023-02-14 19:21:09 +01:00
2023-06-24 13:37:28 +01:00
2023-02-14 19:21:09 +01:00
2023-01-11 14:50:10 +01:00
2023-03-31 09:07:57 +02:00
2023-08-31 10:09:05 +01:00
2023-04-28 17:54:09 +01:00
2023-06-30 10:16:22 +02:00
2023-02-24 09:10:53 +00:00
2023-07-27 09:15:34 +02:00
2023-07-03 10:12:33 +02:00
2023-06-26 11:11:23 +01:00
2023-06-21 09:45:36 +02:00
2023-01-11 14:50:10 +01:00
2023-01-11 14:50:10 +01:00
2023-08-29 14:20:18 +01:00
2023-02-14 19:21:09 +01:00
2023-09-04 10:36:37 +02:00
2023-06-20 15:51:46 +01:00
2023-09-04 10:36:37 +02:00
2023-07-25 17:13:43 +01:00
2023-02-14 19:21:09 +01:00
2023-03-08 14:19:51 +00:00
2023-01-11 14:50:10 +01:00
2023-08-16 17:56:28 +01:00
2023-02-14 19:21:09 +01:00
2023-07-17 15:17:40 +01:00
2023-08-31 17:06:58 +01:00
2023-09-02 10:56:44 +01:00
2023-01-11 14:50:10 +01:00
2023-07-11 16:59:21 +02:00
2023-09-04 10:36:37 +02:00
2023-02-02 12:40:50 +00:00
2023-08-01 22:41:17 +08:00
2023-01-11 14:50:10 +01:00
2023-08-10 12:11:31 +01:00
2023-01-11 14:50:10 +01:00
2023-08-30 19:22:28 +01:00
2023-07-13 10:40:29 +08:00
2023-07-13 10:40:29 +08:00
2023-07-17 15:17:40 +01:00
2023-08-01 07:13:36 +00:00
2023-07-07 17:23:53 +02:00
2023-01-11 14:50:10 +01:00
2023-06-13 05:46:47 -04:00
2023-01-16 11:28:49 +08:00
2023-08-07 11:47:35 +01:00
2023-08-10 14:01:51 +01:00
2023-06-13 05:46:47 -04:00
2023-08-03 12:56:21 +00:00
2023-08-10 11:58:18 +01:00
2023-07-25 11:23:50 +02:00
2023-08-11 06:33:52 +02:00
2023-01-11 14:50:10 +01:00
2023-07-17 15:17:40 +01:00
2023-01-12 14:54:26 +08:00
2023-08-01 07:13:36 +00:00
2023-08-11 16:41:04 +01:00
2023-01-11 14:50:10 +01:00
2023-01-11 14:50:10 +01:00
2023-01-11 14:50:10 +01:00
2023-08-07 19:14:54 +00:00
2023-07-17 15:17:40 +01:00
2023-09-05 16:53:33 +01:00
2023-07-17 15:17:40 +01:00
2023-08-18 19:31:39 +01:00
2023-08-16 09:19:46 +00:00
2023-08-16 09:19:46 +00:00
2023-07-07 09:05:30 -04:00