Paolo Bonzini
1d14a8edce
ninjatool: rebuild multi-output targets if outputs are missing
...
The "stamp file trick" used to group targets of a single multi-output rule
prevents the user from deleting one such target in order to force its
rebuild. Doing so will not touch the stamp file, and therefore only
the dummy ":" command will be executed.
With this patch, ninjatool writes rules that force-rebuild the stamp
file if any of its outputs are missing. Rebuilding the missing
target therefore causes the stamp file to be rebuilt too.
Reported-by: Markus Armbruster <armbru@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
2020-09-30 19:09:19 +02:00
..
2020-07-13 11:40:52 +02:00
2020-07-24 12:56:44 +02:00
2020-09-18 14:12:32 -04:00
2020-09-29 17:55:39 +02:00
2020-05-31 13:56:46 +02:00
2020-05-31 13:56:46 +02:00
2020-09-17 20:37:55 +02:00
2020-07-14 22:22:22 +02:00
2020-09-29 17:55:39 +02:00
2018-08-23 18:46:25 +02:00
2020-05-31 13:56:46 +02:00
2020-09-03 09:44:33 +02:00
2020-09-18 14:00:32 -04:00
2020-09-17 20:37:55 +02:00
2018-07-05 15:59:41 +01:00
2020-02-07 15:15:16 +01:00
2020-02-07 15:15:16 +01:00
2016-12-20 21:52:12 +01:00
2020-09-18 14:00:32 -04:00
2020-08-21 06:30:06 -04:00
2020-08-21 06:30:07 -04:00
2020-09-29 17:55:39 +02:00
2020-09-17 20:37:55 +02:00
2020-08-21 06:18:30 -04:00
2020-09-09 17:17:00 +01:00
2019-05-07 12:55:02 +01:00
2018-07-05 15:09:52 +02:00
2020-09-17 20:37:55 +02:00
2020-08-21 06:30:40 -04:00
2017-05-10 10:19:24 +03:00
2020-02-07 15:15:16 +01:00
2013-09-09 14:17:56 -05:00
2020-08-21 06:30:39 -04:00
2019-01-11 15:46:55 +01:00
2020-03-20 16:02:00 +01:00
2020-02-22 08:26:47 +00:00
2020-02-13 11:31:58 +01:00
2020-09-29 17:55:39 +02:00
2020-08-21 06:30:14 -04:00
2020-03-06 10:05:24 +00:00
2020-09-23 16:07:44 +01:00
2019-10-07 14:54:45 +02:00
2020-09-01 01:51:52 -04:00
2020-08-21 06:30:17 -04:00
2020-09-08 11:43:16 +02:00
2020-09-30 19:09:19 +02:00
2020-09-01 08:51:34 -04:00
2020-09-29 17:55:39 +02:00
2019-11-06 13:28:27 +01:00
2020-05-31 13:56:46 +02:00
2020-01-13 16:42:20 +00:00
2020-08-27 18:52:30 +02:00
2013-09-30 09:44:35 +02:00
2020-07-14 22:22:22 +02:00
2020-02-07 15:15:16 +01:00
2017-05-10 10:19:24 +03:00
2018-10-16 18:34:19 +02:00
2020-02-07 15:15:16 +01:00
2020-02-07 15:15:16 +01:00
2017-05-10 10:19:24 +03:00
2020-07-10 19:26:55 -04:00
2019-02-05 16:50:16 +01:00
2020-09-08 07:17:09 +02:00
2020-08-21 06:30:08 -04:00
2020-08-31 08:23:39 +02:00
2020-09-08 11:43:16 +02:00
2020-01-23 16:41:36 +00:00
2020-03-20 16:02:00 +01:00
2020-03-20 16:02:00 +01:00
2020-02-07 15:15:16 +01:00