diff hgext/pager.py @ 20083:c69e5911888d

relink: abort earlier when on different devices (issue3916) Add a first check of the devices before collecting candidate files. This is much quicker when big repos are on different devices. Keep the existing check in prune. It checks for same device of the files. This could probably be different in a special repo store (with symlinks).
author Simon Heimberg <simohe@besonet.ch>
date Sat, 09 Nov 2013 14:50:58 +0100
parents 7d99bff0f77c
children 49f2d5644f04
line wrap: on
line diff