Re: permission issues when running make

2017-10-02 Thread Maurizio Cimadamore
Thanks Magnus, your explanation makes sense - in the past such issues would have been caught by the spec.gmk check; that explains why I've been able to fix the issue by re-running configure. Maurizio On 02/10/17 14:45, Magnus Ihse Bursie wrote: On 2017-09-27 12:45, Maurizio Cimadamore wrot

Re: permission issues when running make

2017-10-02 Thread Magnus Ihse Bursie
On 2017-09-27 12:45, Maurizio Cimadamore wrote: On a problematic repo I tried to compare the spec.gmk before/after the configure run - there's a difference which seems to be causing this issue: The buggy spec.gmk (which causes the permission issues) has this: BUILD_OUTPUT:=/w/master/build/lin

Re: permission issues when running make

2017-09-27 Thread Maurizio Cimadamore
ah - got it the script I use for rsyncing was excluding all stuff in build/** - meaning that I ended up with an inconsistent spec.gmk. Apparently, the name of this variable changed: http://hg.openjdk.java.net/jdk10/master/rev/92fd0e04e0e1 And so my sync setup flaw was exposed. Sorry for the

Re: permission issues when running make

2017-09-27 Thread Maurizio Cimadamore
On a problematic repo I tried to compare the spec.gmk before/after the configure run - there's a difference which seems to be causing this issue: The buggy spec.gmk (which causes the permission issues) has this: BUILD_OUTPUT:=/w/master/build/linux-x86_64-normal-server-release # Colon left out t

Re: permission issues when running make

2017-09-27 Thread David Holmes
On 27/09/2017 8:19 PM, Maurizio Cimadamore wrote: On 27/09/17 10:51, David Holmes wrote: On 27/09/2017 7:46 PM, Maurizio Cimadamore wrote: Hi, I sometimes encounter this (consolidated repo only): $ make /usr/bin/tee: /bin/mkdir: /build.logcannot create directory ‘/make-support’: Permission de

Re: permission issues when running make

2017-09-27 Thread Maurizio Cimadamore
On 27/09/17 10:51, David Holmes wrote: On 27/09/2017 7:46 PM, Maurizio Cimadamore wrote: Hi, I sometimes encounter this (consolidated repo only): $ make /usr/bin/tee: /bin/mkdir: /build.logcannot create directory ‘/make-support’: Permission denied: Permission denied /usr/bin/tee: /build.lo

Re: permission issues when running make

2017-09-27 Thread David Holmes
On 27/09/2017 7:46 PM, Maurizio Cimadamore wrote: Hi, I sometimes encounter this (consolidated repo only): $ make /usr/bin/tee: /bin/mkdir: /build.logcannot create directory ‘/make-support’: Permission denied: Permission denied /usr/bin/tee: /build.log: Permission denied Building target 'defa

permission issues when running make

2017-09-27 Thread Maurizio Cimadamore
Hi, I sometimes encounter this (consolidated repo only): $ make /usr/bin/tee: /bin/mkdir: /build.logcannot create directory ‘/make-support’: Permission denied: Permission denied /usr/bin/tee: /build.log: Permission denied Building target 'default (exploded-image)' in configuration 'linux-x86_