Compare job names intelligently, so "job$9" < "job$10".
[whenjobs.git] / .gitignore
index 6c9f2b6..3510f62 100644 (file)
@@ -35,6 +35,7 @@ Makefile
 /ltmain.sh
 /missing
 /stamp-h1
+/tests/jobs/test_output
 /tests/parsing/test_load
 /tools/libdir.ml
 /tools/whenjobs