diff --git a/mps/.p4ignore b/mps/.p4ignore index 7a87a43c5a7..db5a4724dee 100644 --- a/mps/.p4ignore +++ b/mps/.p4ignore @@ -8,3 +8,14 @@ # Patch results *.orig *.rej +Makefile +autom4te.cache +config.log +config.status +TAGS +*.dSYM +example/scheme/scheme +example/scheme/scheme.dSYM +code/*/*/*.d +manual/doctrees +*.pyc