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.

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

Ignore build_* dirs #541

Open
wants to merge 1 commit into
base: develop
Choose a base branch
from

Conversation

kaycebasques
Copy link
Contributor

No description provided.

@@ -4,5 +4,6 @@ _deps
cmake-*
build
build-*
build_*
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

pico_setup.sh seems to create build_pico and build_pico2: https://github.com/raspberrypi/pico-setup/blob/master/pico_setup.sh#L82

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I guess that suggests that an alternative approach might be to modify pico_setup.sh to use build-directory names that are already covered by the .gitignore in pico-examples? ping @liamfraser
The advantage of modifying the pico-setup repo instead of the pico-examples repo, is that edits to pico-setup are made directly on master (and so get "released" immediately); whereas edits to pico-examples get made on the develop branch (and so don't get "released" until @kilograham does the next merge from develop to master).

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

Successfully merging this pull request may close these issues.

2 participants