From 0cbf7ca80749ab9bf7c540fa273595d6dfc7ef08 Mon Sep 17 00:00:00 2001
From: Sergio Durigan Junior <sergiodj@sergiodj.net>
Date: Wed, 4 Feb 2015 20:34:45 -0500
Subject: [PATCH] Argh, stupid mistake

---
 lib/gdbcommand.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/gdbcommand.py b/lib/gdbcommand.py
index 583b873..c3815cb 100644
--- a/lib/gdbcommand.py
+++ b/lib/gdbcommand.py
@@ -27,8 +27,8 @@ class CopyOldGDBSumFile (ShellCommand):
         switch_to_branch (builder, branch)
 
         try:
-            copyfile ("%d/%d/gdb.sum" % (wb, builder),
-                      "%d/%d/previous_gdb.sum" % (wb, builder))
+            copyfile ("%s/%s/gdb.sum" % (wb, builder),
+                      "%s/%s/previous_gdb.sum" % (wb, builder))
         except IOError:
             # If the dest file does not exist, ignore
             pass