diff options
| author | Masahiro Yamada <[email protected]> | 2020-01-25 13:12:35 +0900 |
|---|---|---|
| committer | Masahiro Yamada <[email protected]> | 2020-01-29 01:51:30 +0900 |
| commit | 451dff37f0752cc8ad6f1bb82081a98d7b760310 (patch) | |
| tree | f1c24b192257a73757ae178221144b90755975c2 /scripts/gcc-plugins/randomize_layout_plugin.c | |
| parent | 3126c17d28b696ba555bb959888fe4b5143bb389 (diff) | |
builddeb: split libc headers deployment out into a function
Deploy user-space headers (linux-libc-dev package) in a separate
function for readability.
Signed-off-by: Masahiro Yamada <[email protected]>
Diffstat (limited to 'scripts/gcc-plugins/randomize_layout_plugin.c')
0 files changed, 0 insertions, 0 deletions