diff options
Diffstat (limited to 'tools/configure')
-rwxr-xr-x | tools/configure | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure index 03a94137e0..6ffd640398 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -306,9 +306,10 @@ if [ -z "$simver" ]; then | |||
306 | # Figure out what simulator version | 306 | # Figure out what simulator version |
307 | # | 307 | # |
308 | # x11 is deprecated so hide it from the question | 308 | # x11 is deprecated so hide it from the question |
309 | # win32 is also deprecated | ||
309 | # | 310 | # |
310 | echo "" | 311 | echo "" |
311 | echo "Build (W)in32 or (S)DL version? (S)" | 312 | echo "Build (S)DL version? (S)" |
312 | 313 | ||
313 | option=`input`; | 314 | option=`input`; |
314 | 315 | ||