Skip to content
This repository has been archived by the owner on Nov 17, 2023. It is now read-only.

Build.py improvement #16976

Merged
merged 2 commits into from
Jan 16, 2020
Merged

Build.py improvement #16976

merged 2 commits into from
Jan 16, 2020

Conversation

larroy
Copy link
Contributor

@larroy larroy commented Dec 5, 2019

Description

Add more diagnostics to build.py
Ease repro of build scripts by printing the command at the end of successful runs.

@larroy larroy changed the title Build py improv Build.py improvement Dec 5, 2019
Copy link
Contributor

@ChaiBapchya ChaiBapchya left a comment

Choose a reason for hiding this comment

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

LGTM!

@larroy
Copy link
Contributor Author

larroy commented Jan 16, 2020

@mxnet-label-bot add [pr-awaiting-merge]

@lanking520 lanking520 added the pr-awaiting-merge Review and CI is complete. Ready to Merge label Jan 16, 2020
@apeforest apeforest merged commit 57b98de into apache:master Jan 16, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
pr-awaiting-merge Review and CI is complete. Ready to Merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

5 participants