Handle null glob in tutopt

felix-lang · May 28, 2022 · d2bfbb8 · d2bfbb8
1 parent e53c179
commit d2bfbb8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/GNUmakefile b/GNUmakefile
@@ -284,7 +284,7 @@ perf-dir:
 tutopt-dir:
 	mkdir -p ${BUILDROOT}/tutopt
 	${BUILDBIN}/flx_tangle --indir=${BUILDROOT}/share/src/web/tutopt --outdir=${BUILDROOT}/test/tutopt
-	-for file in src/web/tutopt/*.fdoc; do ${BUILDBIN}/flx_iscr $$file ${BUILDROOT}/test/tutopt; done
+	for file in src/web/tutopt/*.fdoc; do [ -e "$file" ] || break; ${BUILDBIN}/flx_iscr $$file ${BUILDROOT}/test/tutopt; done
 
 tut-dir:
 	mkdir -p ${BUILDROOT}/tut