X-Git-Url: https://git.distorted.org.uk/~mdw/tripe/blobdiff_plain/51113adb98c4d82ab799ab38ea463427d0780daa..f56dbbc4f35e303ae79a24be8590ed79a335fd7c:/keys/tripe-keys.in diff --git a/keys/tripe-keys.in b/keys/tripe-keys.in index 901e09b9..db577b62 100644 --- a/keys/tripe-keys.in +++ b/keys/tripe-keys.in @@ -461,7 +461,7 @@ def cmd_update(args): OS.chdir(cwd) if OS.path.exists('repos'): OS.rename('repos', 'repos.old') OS.rename('tmp/repos', 'repos') - if not FC.cmp('tmp/tripe-keys.conf', 'tripe-keys.conf'): + if not FC.cmp('tmp/tripe-keys.conf', 'tripe-keys.conf', False): moan('configuration file changed: recommend running another update') OS.rename('tmp/tripe-keys.conf', 'tripe-keys.conf') rmtree('repos.old')