From 55eb5612117b8c1717818949dadf9e517e824099 Mon Sep 17 00:00:00 2001
From: Chris Johns <chrisj@rtems.org>
Date: Fri, 8 May 2020 15:05:41 +1000
Subject: Update the bare package list.

Closes #3967
---
 rtems-source-packages | 1 +
 1 file changed, 1 insertion(+)

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"
-- 
cgit v1.2.3