Skip to content
This repository was archived by the owner on Jul 13, 2026. It is now read-only.

Check if the path exists before trying to enumerate it. - #67

Merged
dellis1972 merged 1 commit into
masterfrom
check-toolchainsDir-exists
Mar 28, 2019
Merged

dellis1972 merged 1 commit into
masterfrom
check-toolchainsDir-exists

Conversation

@bratsche

Copy link
Copy Markdown
Contributor

@bratsche
bratsche requested a review from dellis1972 March 28, 2019 01:27
@dellis1972
dellis1972 requested a review from grendello March 28, 2019 10:01
@dellis1972
dellis1972 merged commit 4f717b6 into master Mar 28, 2019
@bratsche
bratsche deleted the check-toolchainsDir-exists branch March 28, 2019 14:31
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants