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

Add create_dist script #57

Merged
merged 2 commits into from Jan 29, 2018
Merged

Add create_dist script #57

merged 2 commits into from Jan 29, 2018

Conversation

@bbondy
Copy link
Member

bbondy commented Jan 16, 2018

No description provided.

@bbondy bbondy self-assigned this Jan 16, 2018
@bbondy bbondy requested a review from bridiver Jan 16, 2018

const createDist = (options) => {
config.update(options)
config.buildConfig = 'Release'

This comment has been minimized.

Copy link
@bridiver

bridiver Jan 17, 2018

Collaborator

do we need to force a buildConfig here? I know it's in muon, but that might actually be making things harder for people

@bbondy bbondy force-pushed the create_dist branch from 4bfc200 to 1cbbb22 Jan 18, 2018
Copy link
Collaborator

bridiver left a comment

++

@bbondy bbondy force-pushed the create_dist branch 3 times, most recently from 7a1db9d to 8bd8113 Jan 19, 2018
@bbondy bbondy force-pushed the create_dist branch from 8bd8113 to 8f6a766 Jan 20, 2018
@bbondy bbondy merged commit 672aee6 into master Jan 29, 2018
cezaraugusto pushed a commit that referenced this pull request May 15, 2018
Groundwork for Brave tests
@cezaraugusto cezaraugusto deleted the create_dist branch Jul 9, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

2 participants
You can’t perform that action at this time.