Re: [pok-devel] Commit fails due to rights issue

[Julien Delange <julien@xxxxxxxxx>]

Dear Philip,

Can you try again and let me know if this is fixed ?

On Wed, May 22, 2013 at 9:39 AM, Philipp Eppelt <philipp.eppelt@xxxxxxxxxxxxxxxxxxxxx> wrote:

Hi,

'make commit' fails due to a write error in pok/pok-repository/snapshots/libpok-refman-current-html/html/

'ls -l' shows the reason: The group rights are not set appropriately.

-rw-r--r-- 1 jrosen pok   7502 Feb  1 10:39 threaddelayedstart_8c_source.html
-rw-rw-r-- 1 julien pok   7251 May 21 16:10 threadid_8c_source.html
-rw-rw-r-- 1 julien pok   7087 May 21 16:10 threadperiod_8c_source.html
-rw-r--r-- 1 jrosen pok   7694 Feb  1 10:39 threadpriority_8c_source.html
-rw-r--r-- 1 jrosen pok   7301 Feb  1 10:37 threadresume_8c_source.html


jrosen, would you set the group rights to rw- for these three files, please?


Regards,
Philipp