Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Make users pause if the cache was created with an old version of drake. #602

Closed
wlandau opened this issue Dec 6, 2018 · 0 comments
Closed

Make users pause if the cache was created with an old version of drake. #602

wlandau opened this issue Dec 6, 2018 · 0 comments
Labels
difficulty: beginner status: priority

Comments

@wlandau
Copy link
Member

wlandau commented Dec 6, 2018 •
edited
Loading

I worry about invalidating everyone's targets in #562 and #563. The current drake is compatible with caches built with drake > 5.4.0, but that will change. Solution: bring back the force argument to make() and drake_config() and put more useful guidance in the errors and warnings.
@wlandau wlandau changed the title Pause with a yes/no prompt in assert_compatible_cache() Pause with a yes/no prompt in check_compatible_cache() Dec 6, 2018
@wlandau wlandau changed the title Pause with a yes/no prompt in check_compatible_cache() Make users pause if the cache was created with an old version of drake. Dec 6, 2018
wlandau-lilly added a commit that referenced this issue Dec 6, 2018
@wlandau-lilly
Fix #602
8ffde56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
difficulty: beginner status: priority
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@wlandau