diff options
| -rwxr-xr-x | rtems-source-packages | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/rtems-source-packages b/rtems-source-packages index fcfb4de..5d32f96 100755 --- a/rtems-source-packages +++ b/rtems-source-packages @@ -46,5 +46,4 @@ if [ ${version} == 4.11 ]; then bare_pkgs="devel/dtc" bare_pkgs="${bare_pkgs} devel/qemu" - bare_pkgs="${bare_pkgs} devel/or1ksim" fi |