diff options
Diffstat (limited to 'makefiles/setup.mk')
| -rwxr-xr-x[-rw-r--r--] | makefiles/setup.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/makefiles/setup.mk b/makefiles/setup.mk index 4bfa7a087..c932a6758 100644..100755 --- a/makefiles/setup.mk +++ b/makefiles/setup.mk @@ -80,6 +80,7 @@ export ECHO = echo export UNZIP_CMD = unzip export PYTHON = python export OPENOCD = openocd +export GREP = grep # # Host-specific paths, hacks and fixups |