opt-ignore.exp revision 1.2
1 1.2 rillig dependency 1 2 1.2 rillig dependency 2 3 1.2 rillig dependency 3 4 1.2 rillig other 1 5 1.2 rillig other 2 6 1.2 rillig main 1 7 1.2 rillig main 2 8 1.2 rillig *** Error code 1 (ignored) 9 1.2 rillig *** Error code 7 (ignored) 10 1.2 rillig *** Error code 1 (ignored) 11 1.2 rillig *** Error code 1 (ignored) 12 1.1 rillig exit status 0 13
Indexes created Thu Oct 02 10:09:58 GMT 2025