[riot-notifications] [RIOT-OS/RIOT] Kconfig: rename folder to kconfigs (#14160)

Leandro Lanzieri notifications at github.com
Thu May 28 10:44:41 CEST 2020


### Contribution description
As reported in #14158, on case-insensitive file systems the root Kconfig file clashes with the kconfig folder where we keep constants and features, producing the deletion of one of them. This renames the folder to remove the conflict.

### Testing procedure
- Clone the RIOT repo on a case-insensitive file system -> the `kconfigs` folder and `Kconfig` file should be there.

### Issues/PRs references
Fixes #14158 
You can view, comment on, or merge this pull request online at:

  https://github.com/RIOT-OS/RIOT/pull/14160

-- Commit Summary --

  * Kconfig: rename folder to kconfigs

-- File Changes --

    M Kconfig (4)
    R kconfigs/Kconfig.consts (0)
    R kconfigs/Kconfig.features (0)

-- Patch Links --

https://github.com/RIOT-OS/RIOT/pull/14160.patch
https://github.com/RIOT-OS/RIOT/pull/14160.diff

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/RIOT-OS/RIOT/pull/14160
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20200528/4038ec76/attachment.htm>


More information about the notifications mailing list