diff options
| author | Erich Eckner <git@eckner.net> | 2017-08-23 21:36:55 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-08-23 21:36:55 +0200 |
| commit | 7e69a472b3af0c66e85986f3d6a284a6e164b9fd (patch) | |
| tree | 5b88796ff70fb1b4561bb9296e60c3af99bbd0d8 | |
| parent | 395c60b1ce1c8bc84746ecfefba21d3234b288fa (diff) | |
| download | builder-7e69a472b3af0c66e85986f3d6a284a6e164b9fd.tar.xz | |
conf/default.conf: silence "appears unused" warning
| -rwxr-xr-x | conf/default.conf | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/conf/default.conf b/conf/default.conf index 9849403..007a5fd 100755 --- a/conf/default.conf +++ b/conf/default.conf @@ -2,6 +2,8 @@ # set up some common variables +# shellcheck disable=SC2034 + set -e export LANG=C |