diff options
| -rw-r--r-- | minimal/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/minimal/Makefile b/minimal/Makefile index 4719ebaec2..022b9e0c41 100644 --- a/minimal/Makefile +++ b/minimal/Makefile @@ -15,7 +15,7 @@ endif INC = -I. INC += -I.. INC += -I../lib/mp-readline -INC += -I$(PY_SRC) -I../stmhal +INC += -I../stmhal INC += -I$(BUILD) ifeq ($(CROSS), 1) |