Lint shell scripts

This commit is contained in:
Manuel Alejandro de Brito Fontes 2019-06-28 17:40:18 -04:00
parent 2586542608
commit e2d276f204
No known key found for this signature in database
GPG key ID: 786136016A8BA02A
9 changed files with 71 additions and 72 deletions

View file

@ -14,7 +14,7 @@
# See the License for the specific language governing permissions and
# limitations under the License.
if ! [ -z $DEBUG ]; then
if [ -n "$DEBUG" ]; then
set -x
fi
@ -23,8 +23,8 @@ set -o nounset
set -o pipefail
if [ -z "${PKG}" ]; then
echo "PKG must be set"
exit 1
echo "PKG must be set"
exit 1
fi
hack/verify-all.sh