diff options
Diffstat (limited to 'docs/develop')
| -rw-r--r-- | docs/develop/porting.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/develop/porting.rst b/docs/develop/porting.rst index 0511f5d27..74974a39e 100644 --- a/docs/develop/porting.rst +++ b/docs/develop/porting.rst @@ -98,8 +98,8 @@ We also need a Makefile at this point for the port: include $(TOP)/extmod/extmod.mk # Set CFLAGS and libraries. - CFLAGS = -I. -I$(BUILD) -I$(TOP) - LIBS = -lm + CFLAGS += -I. -I$(BUILD) -I$(TOP) + LIBS += -lm # Define the required source files. SRC_C = \ |