Minor tracediff bug fixes.

diff --git a/util/tracediff b/util/tracediff
index 5f980ea5cf68ef643b1d8248256ca9c702687032..5349c303d99713dd93d1fe5a28ac74024c9be8cb 100755 (executable)
--- a/util/tracediff
+++ b/util/tracediff
@@ -87,8 +87,11 @@ if (@ARGV < 1) {
 
 foreach $arg (@ARGV) {
     $a1 = $a2 = '';
-    @subargs = split('#', $arg, -1);
+    @subargs = split('#', $arg);
     foreach $subarg (@subargs) {
+        if ($subarg eq '') {
+            next;
+        }
         @pair = split('\|', $subarg, -1); # -1 enables null trailing fields
         if (@pair == 1) {
             $a1 .= $subarg;
@@ -97,7 +100,7 @@ foreach $arg (@ARGV) {
             $a1 .= $pair[0];
             $a2 .= $pair[1];
         } else {
-            print 'Parse error: too many |s in ', $arg, '\n';
+            print 'Parse error: too many |s in ', $arg, "\n";
             exit(1);
         }
     }