On 2020-02-13 07:20 +0100, Christian Mauderer wrote: > Hello Amar, Hey!
> Understood it. It still works when build locally so it shouldn't be a > big problem fixing it. I just wasn't really aware of the single page > version before and therefore I wasn't sure whether it should work or > not. Just forget my question whether we should remove it. New question > is: How do we fix it? I think only Chris can answer that one as the files are 0 bytes. > It was no big problem. Only that my distro (OpenSUSE) didn't deliver it > packed as rpm. Yea.. I know it's a pain but it's the best tool for the job I've used it everywhere and it hasn't broken even once outside of Node issues. Amar. _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
