From fde1bfc72388672588941c595fb768ddbfa76ac9 Mon Sep 17 00:00:00 2001
From: MarkKoz <KozlovMark@gmail.com>
Date: Mon, 16 Dec 2019 15:34:49 -0800
Subject: CI: update agent to Ubuntu 18.04

* Use inherit_errexit in check_dockerfiles.sh
---
 azure-pipelines.yml          | 2 +-
 scripts/check_dockerfiles.sh | 3 +--
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 3559031..c5f033d 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -5,7 +5,7 @@ jobs:
     displayName: 'Lint & Test'
 
     pool:
-      vmImage: 'ubuntu-16.04'
+      vmImage: 'ubuntu-18.04'
 
     steps:
       - task: ShellScript@2
diff --git a/scripts/check_dockerfiles.sh b/scripts/check_dockerfiles.sh
index b1f0e28..53842e2 100755
--- a/scripts/check_dockerfiles.sh
+++ b/scripts/check_dockerfiles.sh
@@ -1,6 +1,7 @@
 #!/usr/bin/env bash
 
 set -euo pipefail
+shopt -s inherit_errexit
 exec 3>&1 # New file descriptor to stdout
 
 BASE_URL="https://dev.azure.com/\
@@ -13,8 +14,6 @@ repositoryId=${BUILD_REPOSITORY_NAME}&\
 api-version=5.0"
 
 get_build() {
-    set -e # Poor Ubuntu LTS doesn't have Bash 4.4's inherit_errexit
-
     local branch="${1:?"get_build: argument 1 'branch' is unset"}"
     local url="${BASE_URL}&branchName=${branch}"
 
-- 
cgit v1.2.3