[m-rev.] for review: make mmc --make not symlink target file unnecessarily

[Peter Ross]

On 4/11/07, Peter Wang <wangp at students.csse.unimelb.edu.au> wrote:
> Branches: main
>
> When using mmc --make --use-grade-subdirs, don't make a symlink or copy of
> the target file to the user directory if the file in the user directory is
> already up to date.  This avoids bumping the timestamp unnecessarily.
>
Is there a reason why we don't use hard-links instead of symlinks?

The only reason I can think of is that the sub-directory resides on a
different file system.

The advantage of hard-links is that they are quicker and are supported
under both windows and unix.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------