summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorhsiang-chia.huang <hsiangchia.huang@sifive.com>2019-05-24 10:22:08 +0800
committerGitHub <noreply@github.com>2019-05-24 10:22:08 +0800
commitfaf58a49c3b6421107ada0e8af43170a5ffafcea (patch)
tree3996d52a748ae2420b5c9c6c9efe4158d5dece53 /Makefile
parent7817c5e85cb6f9f6d5b98f6702fa4b7d1fb99e02 (diff)
parent2c0269905929128bd0bd13a55ae3d8afd60a1af6 (diff)
Merge branch 'development-19.05' into dhrystone_19.05
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 530c5ca..c19045b 100644
--- a/Makefile
+++ b/Makefile
@@ -139,7 +139,7 @@ list-target-tags:
# Metal programs are any submodules in the software folder
.PHONY: list-programs
list-programs:
- @echo program-list: $(shell grep -o '= software/.*$$' .gitmodules | sed 's/.*\///')
+ @echo program-list: $(shell ls $(PROGRAM_ROOT)/software)
.PHONY: list-options
list-options: list-programs list-targets