#!/bin/bash
# Do an apt-get update, so that packages can be installed.

if [ ${DIB_DEBUG_TRACE:-0} -gt 0 ]; then
    set -x
fi
set -eu
set -o pipefail

apt-get -y update