diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/configure | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/configure b/tools/configure index cc13e94268..d57723eff9 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -190,7 +190,15 @@ if [ "-" = "$extra_defines" ]; then | |||
190 | extra_defines="-DLOADABLE_FONTS" | 190 | extra_defines="-DLOADABLE_FONTS" |
191 | echo "*** Remember to copy the 'system.ajf' file to the root of your Archos!" | 191 | echo "*** Remember to copy the 'system.ajf' file to the root of your Archos!" |
192 | else | 192 | else |
193 | echo "Proportional font support? (N)" | ||
194 | |||
195 | getit=`input`; | ||
196 | |||
197 | if [ "y" = "$getit" -o "Y" = "$getit" ] ; then | ||
198 | extra_defines="-DLCD_PROPFONTS" | ||
199 | else | ||
193 | extra_defines="" | 200 | extra_defines="" |
201 | fi | ||
194 | fi | 202 | fi |
195 | else | 203 | else |
196 | extra_defines="" | 204 | extra_defines="" |