| Index: src/scripts/install_packages.sh
|
| diff --git a/src/scripts/install_packages.sh b/src/scripts/install_packages.sh
|
| index d7dd020039941afb1e87215622954c7ceafc75fb..86bcfebea26d500daf63dd1fc09d4c1a8eb465f8 100755
|
| --- a/src/scripts/install_packages.sh
|
| +++ b/src/scripts/install_packages.sh
|
| @@ -50,7 +50,6 @@ apt-get --yes --force-yes --no-install-recommends \
|
| # TODO: Move this and other developer oriented "components" into an optional
|
| # package-list-prod-dev.txt (ideally with a better name).
|
| apt-get --yes --force-yes --no-install-recommends install bootchart
|
| -apt-get --yes --force-yes --no-install-recommends install pybootchartgui
|
|
|
| # Install additional packages from a second mirror, if necessary. This must
|
| # be done after all packages from the first repository are installed; after
|
|
|