diff options
Diffstat (limited to 'makefiles/setup.mk')
-rw-r--r-- | makefiles/setup.mk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/makefiles/setup.mk b/makefiles/setup.mk index 8072ec791..111193093 100644 --- a/makefiles/setup.mk +++ b/makefiles/setup.mk @@ -72,6 +72,8 @@ export TOUCH = touch export MKDIR = mkdir export ECHO = echo export UNZIP_CMD = unzip +export PYTHON = python +export OPENOCD = openocd # # Host-specific paths, hacks and fixups |