diff --git a/build b/build index 616383000..371770422 100755 --- a/build +++ b/build @@ -6,12 +6,6 @@ set -euo pipefail -if [ "${DEBUG:-0}" -eq 1 ]; then - set -x - # set this for rebar3 - export DIAGNOSTIC=1 -fi - log_red() { local RED='\033[0;31m' # Red local NC='\033[0m' # No Color