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

add to a list of things in build preferences #8

Open
yocontra opened this issue Oct 23, 2015 · 3 comments
Open

add to a list of things in build preferences #8

yocontra opened this issue Oct 23, 2015 · 3 comments
Labels
enhancement

Comments

@yocontra
Copy link
Contributor

right now you can set a value in build preferences, but when it comes to lists of things (ie header search paths) you overwrite the whole list with a flat value. it would be cool if we had a syntax for pushing an item to the list of it isn't present
@vitto32
Copy link

vitto32 commented Dec 7, 2015

+1

1 similar comment
@vantist
Copy link

vantist commented Dec 25, 2015

+1

@eherve
Copy link

eherve commented Jun 27, 2018

+1

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
5 participants
@yocontra @vitto32 @eherve @dpa99c @vantist