Remove shell option not supported by CI build environment

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
 #

derive.sh

@@ -1,4 +1,4 @@
-#!/bin/sh -euo pipefail
+#!/bin/sh -eu
 # derive.sh -- handy Devuan images
 # Copyright (C) 2017  Olaf Meeuwissen
 #

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
 #