diff options
Diffstat (limited to 'Demo/pdist/rcsbump')
| -rwxr-xr-x | Demo/pdist/rcsbump | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Demo/pdist/rcsbump b/Demo/pdist/rcsbump index 421501e..7ae9c50 100755 --- a/Demo/pdist/rcsbump +++ b/Demo/pdist/rcsbump @@ -27,7 +27,7 @@ for file in files: majorrev = string.atoi(majorrev_re.group(0)) + 1 if not dir.islocked(file): - dir.checkout(file, WITHLOCK) + dir.checkout(file, WITHLOCK) msg = "Bumping major revision number (to %d)" % majorrev dir.checkin((file, "%s.0" % majorrev), msg, "-f") |