diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/configure | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tools/configure b/tools/configure index 1af5d2a54e..17001f8a4d 100755 --- a/tools/configure +++ b/tools/configure @@ -278,9 +278,16 @@ if test "$1" = "--help"; then echo "Rockbox configure script." echo "Invoke this in a directory to generate a Makefile to build Rockbox" echo "Do *NOT* run this within the tools directory!" + echo "" + echo "Usage: configure [--ccache]" exit fi +if test "$1" = "--ccache"; then + echo "Enable ccache for building" + ccache="yes" +fi + if test -r "configure"; then # this is a check for a configure script in the current directory, it there # is one, try to figure out if it is this one! @@ -627,6 +634,10 @@ else fi +if test "X$ccache" = "Xyes"; then + CC="ccache $CC" +fi + if test "X$endian" = "Xbig"; then defendian="ROCKBOX_BIG_ENDIAN" else |