From 280e7f4f5666ccd713be82d7edb0cfffc8422e85 Mon Sep 17 00:00:00 2001 From: Olaf Meeuwissen Date: Thu, 17 Aug 2017 13:08:51 +0900 Subject: [PATCH] Remove shell option not supported by CI build environment --- build.sh | 2 +- derive.sh | 2 +- migrate.sh | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/build.sh b/build.sh index 8c165f4..81cadde 100755 --- a/build.sh +++ b/build.sh @@ -1,4 +1,4 @@ -#!/bin/sh -euo pipefail +#!/bin/sh -eu # build.sh -- a bootstrapped image in a migrated Devuan container # Copyright (C) 2017 Olaf Meeuwissen # diff --git a/derive.sh b/derive.sh index 4d57789..cc577ec 100755 --- a/derive.sh +++ b/derive.sh @@ -1,4 +1,4 @@ -#!/bin/sh -euo pipefail +#!/bin/sh -eu # derive.sh -- handy Devuan images # Copyright (C) 2017 Olaf Meeuwissen # diff --git a/migrate.sh b/migrate.sh index 31f9fb6..cccb011 100755 --- a/migrate.sh +++ b/migrate.sh @@ -1,4 +1,4 @@ -#!/bin/sh -euo pipefail +#!/bin/sh -eu # migrate.sh -- a Debian image to Devuan # Copyright (C) 2017 Olaf Meeuwissen #