Ricardo Pardini 2714955ea8 u-boot: use pipetty in place of unbuffer ...

- unbuffer never solved anything; pipetty might

2024-08-06 16:49:38 +08:00

..

functions

u-boot: use pipetty in place of unbuffer

2024-08-06 16:49:38 +08:00

tools

cli: dt_makefile_patcher: Allow numbers in configopt regex

2024-08-06 16:45:07 +08:00

library-functions.sh

cli: Add command "dts-check"

2024-07-03 18:35:21 +08:00

single.sh

Add / modify (c) in bash scripts (#4922)

2023-03-09 18:30:40 +01:00