Setting executable permissions?

[Jonathan Gibbons]

I guess I see that there is no good reason for code-tools projects to be 
any different from the convention for other OpenJDK projects.

-- Jon

On 01/10/2014 01:58 AM, Magnus Ihse Bursie wrote:
> I understand that there is a ban on setting the executable bit on 
> files in the JDK repositories.
>
> Does this ban extends to the codetools projects as well? In the case 
> of webrev, there seems to be no good reason *not* to have the 
> webrev.ksh file executable...
>
> Is there a formal requirement about this prohibition? Or is it "just" 
> enforced by jcheck?
>
> /Magnus