Skip to content
This repository has been archived by the owner on Dec 9, 2017. It is now read-only.

make install.py incremental #22

Open
msridhar opened this issue Dec 12, 2013 · 0 comments
Open

make install.py incremental #22

msridhar opened this issue Dec 12, 2013 · 0 comments

Comments

@msridhar
Copy link
Contributor

I don't see a need for install.py to blow away all the files you already have each time it runs; we should make it only install the things you don't have. This is helpful, e.g., in cases where the install fails half-way through. Now, if you re-run, it starts from scratch.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant