diff options
| author | Damien George <damien.p.george@gmail.com> | 2015-06-03 17:47:31 +0100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2015-06-03 17:47:31 +0100 |
| commit | 181adc6a4eb7e701a7604a8fbfa8830b99eb3e9f (patch) | |
| tree | a4b7ddcde48d7fb5f0d31e464154bc8408fb10e3 | |
| parent | c36635c112eee93dd987b98ca668fe488470aed0 (diff) | |
unix: Update .gitignore; now ignores coverage build.
| -rw-r--r-- | unix/.gitignore | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/unix/.gitignore b/unix/.gitignore index 59dee4d70..1d94544e7 100644 --- a/unix/.gitignore +++ b/unix/.gitignore @@ -1,8 +1,9 @@ build build-fast build-minimal +build-coverage micropython micropython_fast micropython_minimal +micropython_coverage *.py -micropython-upip-* |