diff --git a/tools/p/p b/tools/p/p
index 5a21fac2727c..2dd8c555e26b 100755
--- a/tools/p/p
+++ b/tools/p/p
@@ -1,5 +1,6 @@
 #!/bin/bash
 set -e
+set -x
 
 this_dir="$(realpath $(dirname "$0"))"
 image=plang