summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile3
1 files changed, 1 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 13810dc..18f3345 100644
--- a/Makefile
+++ b/Makefile
@@ -119,10 +119,9 @@ list-boards:
# MEE programs are any submodules in the software folder
list-programs:
- @echo program-list: $(shell grep -o '= software/.*$$' .gitmodules | sed -r 's/.*\///')
+ @echo program-list: $(shell grep -o '= software/.*$$' .gitmodules | sed 's/.*\///')
list-options: list-programs list-boards
- @echo done
endif