mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Alessandro Di Federico
ebc9a41044
In `add_custom_command` is one of the entries of `DEPENDS` is not a file (i.e., it's a custom command), the dependency is only an ordering dependency. This means that the command is not actually re-run when its dependencies are invalidated.