Raphaël Hertzog f13273368a Don't fail if one of the package lists expands to an empty list ... When a package lists contains only packages protected by a test that doesn't match for the current run, then Expand_package_list outputs nothing and the following "grep -v" fails because it has not filtered anything. Avoid this by protecting the "grep -v" call with "|| true".		2021-01-12 14:48:27 +01:00
..
build	Don't fail if one of the package lists expands to an empty list	2021-01-12 14:48:27 +01:00
build.sh	move auto colouring decision	2020-03-23 08:06:51 +00:00