diff --git a/build/tools/before_install.sh b/build/tools/before_install.sh index 88a9a733bd..8c3f9d6ab2 100755 --- a/build/tools/before_install.sh +++ b/build/tools/before_install.sh @@ -14,8 +14,6 @@ case $(uname -s) in # Show information about the repositories and priorities used. echo 'APT sources used:' $SUDO grep --no-messages '^[^#]' /etc/apt/sources.list /etc/apt/sources.list.d/* || true - echo 'APT preferences:' - $SUDO grep --no-messages '^[^#]' /etc/apt/preferences /etc/apt/preferences.d/* || true echo '--- End of APT files dump ---' run_apt() {