Merge pull request #222 from saveriomiroddi/fix_build

Fix build (annoying shellcheck warning)
This commit is contained in:
Saverio Miroddi 2021-06-14 20:39:07 +02:00 committed by GitHub
commit 3bef53de09
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 4 deletions

View File

@ -1,9 +1,6 @@
#!/bin/bash
# Shellcheck issue descriptions:
#
# - SC2015: <condition> && <operation> || true
# - SC2016: annoying warning about using single quoted strings with characters used for interpolation
# shellcheck disable=SC2016 # single quoted strings with characters used for interpolation
set -o errexit
set -o pipefail