directive.exp revision 1.2
1 1.2 rillig make: "directive.mk" line 9: Unknown directive "indented" 2 1.2 rillig make: "directive.mk" line 10: Unknown directive "indented" 3 1.2 rillig make: "directive.mk" line 11: Unknown directive "indented" 4 1.2 rillig make: "directive.mk" line 15: Unknown directive "info" 5 1.2 rillig make: Fatal errors encountered -- cannot continue 6 1.2 rillig make: stopped in unit-tests 7 1.2 rillig exit status 1 8
Indexes created Thu Oct 30 16:09:53 GMT 2025