Re: [PATCH] tools: Remove shgen

2018-06-11 Thread Sebastian Huber
On 11/06/18 16:23, Gedare Bloom wrote: On Mon, Jun 11, 2018 at 8:48 AM, Sebastian Huber wrote: All tools should be removed from the RTEMS source repository at some point in time. Tools with a BSD-style license will be moved to the RTEMS tools repository. Unfortunately, the shgen tool is GPL li

Re: [PATCH] tools: Remove shgen

2018-06-11 Thread Gedare Bloom
On Mon, Jun 11, 2018 at 8:48 AM, Sebastian Huber wrote: > All tools should be removed from the RTEMS source repository at some > point in time. Tools with a BSD-style license will be moved to the RTEMS > tools repository. Unfortunately, the shgen tool is GPL licensed. > > Remove all uses of this t