CONTRIB: trace: report the base name only for file names

The output is hard to read when the full path to the sources files is
emitted, let's strip it.

diff --git a/contrib/trace/trace.awk b/contrib/trace/trace.awk
index 74d953ccdcdbbcd385ac34afde4c01c8772d6c1d..7b3b131a3652bde840a33d693e0060fc5cd2f9b9 100755 (executable)
--- a/contrib/trace/trace.awk
+++ b/contrib/trace/trace.awk
@@ -37,7 +37,7 @@ BEGIN {
   if (prog == "")
     prog=ENVIRON["PROG"];
 
-  cmd=cmd " -f -e " prog;
+  cmd=cmd " -f -s -e " prog;
 
   for (i = 1; i < 100; i++) {
     indents[">",i] = indents[">",i-1] "->"