[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Make install error...
From: |
Pavel Roskin |
Subject: |
Re: Make install error... |
Date: |
Wed, 6 Dec 2000 11:01:36 -0500 (EST) |
Hello!
> checking for mawk... (cached) nawk
You must be running a commercial UNIX.
What OS is it?
> cp: cannot create /usr/local/info/#inst.18876#: Permission denied
> cp: cannot create /usr/local/info/#inst.18886#: Permission denied
> make: *** [install-info] Error 2
>
> I'm as root. What's wrong?
I think some OS'es respect permissions for root. Make sure that:
1) /usr/local/info exists (please tell us if it doesn't - it must be an
Autoconf bug then).
2) Filenames with '#' are allowed on the filesystem where /usr/local/info
resides (I would not rule out problems with e.g. NFS)
3) As a final test, run
touch "/usr/local/info/#inst.18876#"
Regards,
Pavel Roskin