53
53
sudo sh -c "echo 'Pin: origin ""' >> /etc/apt/preferences.d/local-pin-900"
54
54
sudo sh -c "echo 'Pin-Priority: 600' >> /etc/apt/preferences.d/local-pin-900"
55
55
cat /etc/apt/preferences.d/local-pin-900 >> $AP_SETUP_LOGFILE
57
57
if [ -e ${DEB_SOURCE_DIR} ]; then
58
58
# Taken from generic-medium-tests, using apt-get resolves any