Skip to content

Commit

Permalink
Update ./mlton/.gitignore
Browse files Browse the repository at this point in the history
Ignore executables created by `make debugged`, `make profile-alloc`,
`make profile-count`, `make profile-time`, and `make traced`.
  • Loading branch information
MatthewFluet committed Jan 31, 2018
1 parent dbe51c4 commit 373a89a
Showing 1 changed file with 10 additions and 0 deletions.
10 changes: 10 additions & 0 deletions mlton/.gitignore
Expand Up @@ -6,6 +6,16 @@

/mlton-compile
/mlton-compile.exe
/mlton-compile.debug
/mlton-compile.debug.exe
/mlton-compile.alloc
/mlton-compile.alloc.exe
/mlton-compile.count
/mlton-compile.count.exe
/mlton-compile.time
/mlton-compile.time.exe
/mlton-compile.trace
/mlton-compile.trace.exe
/mlton-polyml
/mlton-polyml.exe
/mlton-polyml.use
Expand Down

0 comments on commit 373a89a

Please sign in to comment.