zetzit / zz

πŸΊπŸ™ ZetZ a zymbolic verifier and tranzpiler to bare metal C
MIT License
1.6k stars 52 forks source link

remove cloned repo, not entire '___' dir #74

Closed jwerle closed 4 years ago

jwerle commented 4 years ago

This PR ensures a cloned repo is removed, not the entire targets/repos/___ directory. This happens when I list multiple repos in the [repos] section of zz.toml. Note that both repos do not export a modules/ directory, but rather the source of a single module.

aep commented 4 years ago

lgtm, but i'm very sleepy (baby).

can i trust you tested this with the other cases?

jwerle commented 4 years ago

sleep on it! I am testing now with a large project and can confirm tomorrow

jwerle commented 4 years ago

I can confirm no errors on my end

aep commented 4 years ago

thank you