diff options
author | Daniel Bristot de Oliveira <bristot@kernel.org> | 2024-03-15 17:44:05 +0100 |
---|---|---|
committer | Daniel Bristot de Oliveira <bristot@kernel.org> | 2024-03-20 05:39:06 +0100 |
commit | 012e4e77df736263f235640e0b0b45ac919e54bf (patch) | |
tree | 54f237a9654b118eec8ba19217750a2ad774743e /lib/ubsan.c | |
parent | 01474dc706cabbdaab600a46a107220ac5de9386 (diff) |
tools/verification: Use tools/build makefiles on rv
Use tools/build/ makefiles to build rv, inheriting the benefits of
it. For example, having a proper way to handle dependencies.
Link: https://lkml.kernel.org/r/2a38a8f7b8dc65fa790381ec9ab42fb62beb2e25.1710519524.git.bristot@kernel.org
Cc: Arnaldo Carvalho de Melo <acme@redhat.com>
Cc: Josh Poimboeuf <jpoimboe@kernel.org>
Cc: John Kacur <jkacur@redhat.com>
Cc: Namhyung Kim <namhyung@kernel.org>
Cc: Jiri Olsa <jolsa@kernel.org>
Suggested-by: Linus Torvalds <torvalds@linux-foundation.org>
Signed-off-by: Daniel Bristot de Oliveira <bristot@kernel.org>
Diffstat (limited to 'lib/ubsan.c')
0 files changed, 0 insertions, 0 deletions