diff options
Diffstat (limited to 'tools/configure')
-rwxr-xr-x | tools/configure | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/configure b/tools/configure index 5f5ca514b7..d5d20b3a12 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -211,10 +211,10 @@ if [ "-" = "$extra_defines" ]; then | |||
211 | 211 | ||
212 | if [ "-DARCHOS_RECORDER" = "$target" ] ; then | 212 | if [ "-DARCHOS_RECORDER" = "$target" ] ; then |
213 | 213 | ||
214 | echo "Do you want to use Screensavers? (Y)" | 214 | echo "Do you want to use Demos? (Y)" |
215 | getit=`input`; | 215 | getit=`input`; |
216 | if [ "n" = "$getit" -o "N" = "$getit" ] ; then | 216 | if [ "n" = "$getit" -o "N" = "$getit" ] ; then |
217 | extra_defines="$extra_defines -DDISABLE_SCREENSAVERS" | 217 | extra_defines="$extra_defines -DDISABLE_DEMOS" |
218 | else | 218 | else |
219 | extra_defines="$extra_defines" | 219 | extra_defines="$extra_defines" |
220 | fi | 220 | fi |