done! 2008/8/20 Dongsu Park <Dongsu.Park@xxxxxxxxxxxxxx>: > Sure, just copy one of them to the another. > > Wolfram Fischer wrote: >> >> Good point. >> Would it be appropriate if I would simply copy the contents of 'Using >> development tools' to 'Notes...'? >> (Or the other way round) >> >> Best regards, >> Wolf >> >> 2008/8/20 Dongsu Park <Dongsu.Park@xxxxxxxxxxxxxx>: >>> >>> Wolfram Fischer wrote: >>>> >>>> Hi, >>>> >>>> I just opened a wiki page about (C) development tools: >>>> https://pride/projects/pisa/cgi-bin/trac.cgi/wiki/DevelopmentTools >>>> Have a look at ccache, it speeds up compilation significantly and >>>> works transparent to the user. >>>> So far, I only have used it on x86 machines - works like a charm. >>>> >>>> If someone uses other helpful tools it would be very nice to enhance >>>> the wiki-page and share some knowledge. >>> >>> Hi, >>> >>> that page "Notes on development tools" should be embedded in "Using >>> development tools" or linked from it, because they contain contents for >>> the >>> same purpose. >>> >>>> Have a nice day, >>>> Wolf >>>> >>> Cheers, >>> Dongsu >>> >>> >> > > >