diff options
-rwxr-xr-x | tools/configure | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/configure b/tools/configure index 762caec162..b7cbfb0ba2 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -4222,6 +4222,7 @@ fi | |||
4222 | output="rockbox.m3k" | 4222 | output="rockbox.m3k" |
4223 | bootoutput="bootloader.m3k" | 4223 | bootoutput="bootloader.m3k" |
4224 | sploutput="spl.m3k" | 4224 | sploutput="spl.m3k" |
4225 | sysfontbl="16-Terminus" | ||
4225 | # toolset is the tools within the tools directory that we build for | 4226 | # toolset is the tools within the tools directory that we build for |
4226 | # this particular target. | 4227 | # this particular target. |
4227 | toolset="$toolset mkspl-x1000" | 4228 | toolset="$toolset mkspl-x1000" |