From: Simon Wright <simon@pushface.org>
Subject: Re: There's a problem with gnatclean on Windows GNAT Community 2018
Date: Tue, 19 Jun 2018 16:26:47 +0100
Date: 2018-06-19T16:26:47+01:00 [thread overview]
Message-ID: <ly8t7akdag.fsf@pushface.org> (raw)
In-Reply-To: 59ec22fd-ccb4-41aa-90cb-36a86cdb36e4@googlegroups.com
juan.delapuente@gmail.com writes:
> The fix for MacOS (both native and arm-eabi:
Thanks for this. And maybe Linux too?
> $ cd <path_to_the_installation>
> $ find . -iname "*.ali" -exec chmod -w {} \;
I said
$ find -name \*.ali | sudo xargs chmod -w
Would be surprised to find (library) ALI files with mixed-case
filenames!
prev parent reply other threads:[~2018-06-19 15:26 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-06-12 16:26 There's a problem with gnatclean on Windows GNAT Community 2018 fabien.chouteau
2018-06-12 16:47 ` Dmitry A. Kazakov
2018-06-12 18:04 ` fabien.chouteau
2018-06-12 18:49 ` Anh Vo
2018-06-12 19:04 ` Simon Wright
2018-06-19 11:47 ` juan.delapuente
2018-06-19 15:26 ` Simon Wright [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox