Ricardo Pardini e49d91ec40 popular demand: bring back KERNEL_CONFIGURE=yes *during image build* ... - partially revert 6ef394d95d (thus bring back the TUI/dialog for selecting KERNEL_CONFIGURE=yes/no) - partially revert d890b418c7 (thus bring back the capacity to config & build image in one go) - stop after configuring kernel, but only if command is `kernel-config`, not regular image-build KERNEL_CONFIGURE=yes		2023-05-09 10:05:09 +02:00
..
functions	popular demand: bring back KERNEL_CONFIGURE=yes *during image build*	2023-05-09 10:05:09 +02:00
tools	pipeline: gha: fix IMAGES_ONLY_OUTDATED_ARTIFACTS and SKIP_IMAGES by exporting them so Python can see; tune logging	2023-05-09 10:04:57 +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