Ricardo Pardini a872fe8773 config-prepare: config_pre_main(): try to be more helpful when BRANCH is unset or wrong instead of just "bad KERNEL_MAJOR_MINOR"		2023-05-08 11:21:47 +02:00
..
functions	config-prepare: config_pre_main(): try to be more helpful when BRANCH is unset or wrong instead of just "bad KERNEL_MAJOR_MINOR"	2023-05-08 11:21:47 +02:00
tools	pipeline: correctly quote params passed over pure strings (eg in the GHA JSON matrixes) so values with spaces are not mangled	2023-05-04 16:08:11 +02:00
library-functions.sh	lib: shellfmt & fix gen-library to match	2023-04-18 09:27:38 +02:00
single.sh	Add / modify (c) in bash scripts (#4922)	2023-03-09 18:30:40 +01:00