From 78ae33ee01433427721bd92a4e70f1fa40386d23 Mon Sep 17 00:00:00 2001 From: Adar Nimrod <nimrod@shore.co.il> Date: Fri, 12 May 2017 22:47:34 +0300 Subject: [PATCH] - Yet another fix, yet another patch bump. --- VERSION | 2 +- shell-lint | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/VERSION b/VERSION index 2411653..c52db98 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.5.2 \ No newline at end of file +0.5.3 \ No newline at end of file diff --git a/shell-lint b/shell-lint index 2286ad4..ac87571 100755 --- a/shell-lint +++ b/shell-lint @@ -4,4 +4,4 @@ for filename in "$@" do /usr/bin/env -i /bin/sh -en "$filename" || failed=1 done -[ "${failed:-0}" -eq 1 ] && exit 1 +[ "${failed:-0}" -eq 0 ] -- GitLab