build: Remove mini-mes.
[mes.git] / .gitignore
index 90cb9dcaf4911a32029b02ce27be1f418362f19f..e38ae458ac4767cd303846a72e618ab7a1d52620 100644 (file)
@@ -73,7 +73,6 @@
 /scaffold/main
 /scaffold/micro-mes
 /scaffold/tiny-mes
-/scaffold/mini-mes
 
 /scaffold/x86-mes-*
 /scaffold/x86_64-mes-*
 /doc/images/gcc-mesboot-graph.eps
 /doc/images/gcc-mesboot-graph.pdf
 /doc/web/
+/lib/x86_64-mes/0exit-42
+/lib/x86_64-mes/exit-42