build-01.sh

#!/bin/bash

# check we are root
if [[ $EUID -ne 0 ]]; then
   echo "This script must be run as root" 1>&2
   exit 1
fi

pushd core.ubuntu18 && bash 01_update.sh && popd