Fini Jastrow f287b97048 gotta-patch-em-all: Return error when no file patched ... [why] When we do CI we probably want to raise an error if no font file could be found. [how] Check how many font files have been generated and return with exit code 1 if the number is zero. Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>		2022-08-18 11:14:12 +02:00
..
scripts	gotta-patch-em-all: Return error when no file patched	2022-08-18 11:14:12 +02:00