diff options
Diffstat (limited to 'arduino-mk/chipKIT.mk')
| -rw-r--r-- | arduino-mk/chipKIT.mk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/arduino-mk/chipKIT.mk b/arduino-mk/chipKIT.mk index 4cb71a2..fd7a0d2 100644 --- a/arduino-mk/chipKIT.mk +++ b/arduino-mk/chipKIT.mk @@ -82,6 +82,8 @@ ARDUINO_CORE_PATH = $(ALTERNATE_CORE_PATH)/cores/$(ALTERNATE_CORE) ARDUINO_PREFERENCES_PATH = $(MPIDE_PREFERENCES_PATH) ARDUINO_DIR = $(MPIDE_DIR) +CORE_AS_SRCS = $(ARDUINO_CORE_PATH)/vector_table.S + ARDUINO_VERSION = 23 CC_NAME = pic32-gcc |
