diff options
Diffstat (limited to 'misc')
| -rwxr-xr-x | misc/update-glib-annotations.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/misc/update-glib-annotations.py b/misc/update-glib-annotations.py index f523f926..200a02a7 100755 --- a/misc/update-glib-annotations.py +++ b/misc/update-glib-annotations.py @@ -68,7 +68,7 @@ if __name__ == '__main__': else: builddir = srcdir - print("Using source directory: %r build directory: %r" % (srcdir, builddir)) + print("Using source directory: '%s' build directory: '%s'" % (srcdir, builddir)) modules = [{'name': 'glib', 'srcname': '../gir/glib-2.0.c', @@ -105,6 +105,6 @@ if __name__ == '__main__': srcfile.close() os.rename(tmpname, srcname) - print("Updated %r" % (srcname, )) + print("Updated '%s'" % (srcname, )) print("Done; run \"git diff\" to see any changes.") |