diff options
Diffstat (limited to 'asmcomp')
| -rw-r--r-- | asmcomp/.cvsignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/asmcomp/.cvsignore b/asmcomp/.cvsignore index 31d00178a0..8f3512ae5b 100644 --- a/asmcomp/.cvsignore +++ b/asmcomp/.cvsignore @@ -4,3 +4,5 @@ proc.ml selection.ml reload.ml scheduling.ml +*.cm* +*.o |