|
Rockbox mail archiveSubject: Re: NEW DEVKIT v3.11 AVAILABLERe: NEW DEVKIT v3.11 AVAILABLE
From: Ray Lambert <listlizard_at_interthingy.net>
Date: Fri, 22 Jul 2005 10:50:39 +0000 BlueChip wrote: > Yes, this is another good and simple solution to the problem. > > As the core devs have been unable to fix this, perhaps someone more > experienced in such matters could submit a patch for this? > > BC > >> Would it make sense to run 'tools make' from the configure script? >> >> ~ray > Okay, here's the patch, in case anyone wants to apply it: ------------------------------------- cut here ------------------------------------ --- rockbox-daily-20050710-ref/tools/configure 2005-07-10 04:00:10.000000000 +0000 +++ rockbox-daily-20050710-ab/tools/configure 2005-07-22 10:44:22.685215144 +0000 _at__at_ -841,3 +841,14 _at__at_ fi echo "Created Makefile" +echo +echo "Building tools... (if necc.)" +if [ -d $rootdir/tools ]; then + cwd=`pwd` + cd $rootdir/tools + make + cd $cwd +else + echo "WARNING: Can't find tools dir!" +fi + ------------------------------------- cut here ------------------------------------ ~ray -- #b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b "The music business is a cruel and shallow money trench, a long plastic hallway where thieves and pimps run free, and good men die like dogs ....... There's also a negative side." -- Hunter S. Thompson #b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b#b _______________________________________________ http://cool.haxx.se/mailman/listinfo/rockboxReceived on 2005-07-22 Page template was last modified "Tue Sep 7 00:00:02 2021" The Rockbox Crew -- Privacy Policy |