[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)


> 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#"

Pavel Roskin

reply via email to

[Prev in Thread] Current Thread [Next in Thread]