fix: Disable Mido debug output (#470)

This commit is contained in:
Kroese 2024-05-08 23:25:15 +02:00 committed by GitHub
parent f99032312c
commit fd1fd1c48f
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -3,8 +3,6 @@
# Copyright (C) 2024 Elliot Killick <contact@elliotkillick.com> # Copyright (C) 2024 Elliot Killick <contact@elliotkillick.com>
# Licensed under the MIT License. See LICENSE file for details. # Licensed under the MIT License. See LICENSE file for details.
[ "$DEBUG" ] && set -x
# Prefer Dash shell for greater security if available # Prefer Dash shell for greater security if available
if [ "$BASH" ] && command -v dash > /dev/null; then if [ "$BASH" ] && command -v dash > /dev/null; then
exec dash "$0" "$@" exec dash "$0" "$@"