diff options
-rw-r--r-- | Makefile.maint | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.maint b/Makefile.maint index 92b0bd2311..ea550a895e 100644 --- a/Makefile.maint +++ b/Makefile.maint @@ -85,7 +85,7 @@ TOOL_VERSIONS: Makefile.maint echo "The following RTEMS RPMs were installed on the machine" ; \ echo "where this release was made:" ; \ echo ; \ - rpm -q -a | grep rtems-4.8 | sed -e 's/^/ /' ; \ + rpm -qa 'rtems-4.8*' | sed -e 's/^/ /' ; \ echo \ ) >TOOL_VERSIONS |