Re: Executable deleted after first run

[Leo]

* Richard Stallman (2007-01-04 17:33 -0500) said:
  ^^^^^^^^^^^^^^^^
> Is it possible for `make install' to detect this defective file
> system?  It would be ok for `make install' to create a symlink
> conditionally in that case.
>
> Otherwise we can only document the problem, perhaps in etc/PROBLEMS.

I think 'document it' is good enough and the workaround is easy to do
anyway.

-- 
Leo <sdl.web AT gmail.com>                         (GPG Key: 9283AA3F)