diff options
| author | Joshua Diamond <josh@windowoffire.com> | 2021-01-28 19:04:37 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-29 11:04:37 +1100 |
| commit | f59cd6764d922e8c30e55b3a9cea88d5c48242b9 (patch) | |
| tree | c698f22249daae27047683d4ccc0ce4f591beb1b | |
| parent | d65db68f9f2614b91e3cb565086166b01400e473 (diff) | |
Allow post_config.h to be implemented in userspace (#11519)
> Rebased and pushed.
Squashed and merged.
:)
| -rw-r--r-- | build_keyboard.mk | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/build_keyboard.mk b/build_keyboard.mk index 28ba97bbc8..6d54e38446 100644 --- a/build_keyboard.mk +++ b/build_keyboard.mk @@ -313,6 +313,9 @@ USER_PATH := users/$(USER_NAME) ifneq ("$(wildcard $(USER_PATH)/config.h)","") CONFIG_H += $(USER_PATH)/config.h endif +ifneq ("$(wildcard $(USER_PATH)/post_config.h)","") + POST_CONFIG_H += $(USER_PATH)/post_config.h +endif # Object files directory # To put object files in current directory, use a dot (.), do NOT make |