diff options
author | Chris Johns <chrisj@rtems.org> | 2020-05-08 15:05:41 +1000 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2020-05-08 15:16:48 +1000 |
commit | 55eb5612117b8c1717818949dadf9e517e824099 (patch) | |
tree | ec51e6b9222ec6a6979a53438f083a25bd47c73b | |
parent | Update rtems-notes-5.txt (diff) | |
download | rtems-release-55eb5612117b8c1717818949dadf9e517e824099.tar.bz2 |
Update the bare package list.
Closes #3967
-rwxr-xr-x | rtems-source-packages | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rtems-source-packages b/rtems-source-packages index 0cb4a74..f39101d 100755 --- a/rtems-source-packages +++ b/rtems-source-packages @@ -52,6 +52,7 @@ elif [ ${version} -ge 5 ]; then rtems_pkgs="${rtems_pkgs} ${version}/rtems-packages" # Bare packages bare_pkgs="devel/qemu" + bare_pkgs="${bare_pkgs} devel/qemu4" bare_pkgs="${bare_pkgs} devel/qemu-couverture" bare_pkgs="${bare_pkgs} devel/sis" bare_pkgs="${bare_pkgs} devel/spike" |