Merge remote-tracking branch 'origin/develop'

Author: rv-auditor

bin/llvm-krun

@@ -1,6 +1,5 @@
 #!/bin/bash
 set -e
-set -x
 
 params=()
 pretty=()