Skip to content

Conversation

RobMeades
Copy link
Contributor

Description

The .gitignore file that arrives with mbed has lib in its list. The u-blox mbed platform we have just submitted a pull request for (#2705) has a set of files, in a tree that is provided to us, with a sub-directory named lib ('cos those files are considered part of a library). So this is a real pain for us: git entirely ignores changes in somewhat important files.

After discussion with @bridadan and @screamerbg in issue #2706, this pull request is submitted to remove both lib and lib64 from the git ignore list.

…t seem to be required and lib is used as a directory name in a recent (u-blox) mbedOS target submission, so ignoring the files under that directory becomes a problem.
@screamerbg
Copy link
Contributor

LGTM

@sg- sg- merged commit 400b384 into ARMmbed:master Sep 16, 2016
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