Rockbox.org home
release
dev builds
extras
themes manual
wiki
device status forums
mailing lists
IRC bugs
patches
dev guide



Rockbox mail archive

Subject: Re: NEW DEVKIT v3.11 AVAILABLE

Re: NEW DEVKIT v3.11 AVAILABLE

From: Ray Lambert <listlizard_at_interthingy.net>
Date: 2005-07-22

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
@@ -841,3 +841,14 @@
 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/rockbox
Received on Fri Jul 22 16:48:00 2005

Page was last modified "Jan 10 2012" The Rockbox Crew
aaa