diff options
| author | Martin Liska <[email protected]> | 2023-01-16 11:45:33 +0100 |
|---|---|---|
| committer | Masahiro Yamada <[email protected]> | 2023-01-16 20:15:20 +0900 |
| commit | 8c0089882a62da2d75fb655e781cc33cc1351f6a (patch) | |
| tree | 9c488b82f32f63c6d2e4be576958623cf5ee02fd /scripts/gdb/linux/device.py | |
| parent | aedee9e8d9224de35081e73e63333a402907c53c (diff) | |
scripts: support GNU make 4.4 in jobserver-exec
Starting with GNU make 4.4, --jobserver-auth newly uses named
pipe (fifo) instead of part of opened file descriptors:
https://www.gnu.org/software/make/manual/html_node/POSIX-Jobserver.html
Support also the new format.
Signed-off-by: Martin Liska <[email protected]>
Signed-off-by: Masahiro Yamada <[email protected]>
Diffstat (limited to 'scripts/gdb/linux/device.py')
0 files changed, 0 insertions, 0 deletions