Skip to content

Upgrade to latest tools#5533

Merged
dlang-bot merged 1 commit intodlang:masterfrom
wilzbach:upgrade-tools
Jul 2, 2017
Merged

Upgrade to latest tools#5533
dlang-bot merged 1 commit intodlang:masterfrom
wilzbach:upgrade-tools

Conversation

@wilzbach
Copy link
Contributor

@wilzbach wilzbach commented Jul 2, 2017

After dlang/tools#237, we can simplify the Makefile a bit.

CC @CyberShadow

I considered for a bit doing sth. like:

TOOLS_HASH=87c63705dcacac38ba7c84d19699f656d834139d
TOOLS_DIR=../tools-$(TOOLS_HASH)

But then dropped it because from the developers we can expect to have moderately recent tools version around (they know how to pull if they get an error) and it would be probably pretty annoying to have multiple versions of dlang/tools around.

@dlang-bot
Copy link
Contributor

Thanks for your pull request, @wilzbach!

Bugzilla references

Your PR doesn't reference any Bugzilla issue.

If your PR contains non-trivial changes, please reference a Bugzilla issue or create a manual changelog.

@dlang-bot dlang-bot merged commit 6ca28ae into dlang:master Jul 2, 2017
@wilzbach wilzbach deleted the upgrade-tools branch December 11, 2017 02:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants