Allow post_config.h to be implemented in userspace (#11519)

> Rebased and pushed.

Squashed and merged.

:)
This commit is contained in:
Joshua Diamond 2021-01-28 19:04:37 -05:00 committed by GitHub
parent d65db68f9f
commit f59cd6764d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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