diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/configure | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/tools/configure b/tools/configure index 2465c53..a50abb8 100755 --- a/tools/configure +++ b/tools/configure @@ -303,10 +303,12 @@ whichsim () { if [ -z "$simver" ]; then ################################################################## - # Figure out win32/x11 GUI + # Figure out what simulator version + # + # x11 is deprecated so hide it from the question # echo "" - echo "Build (W)in32 or (X)11 or (S)DL GUI version? (S)" + echo "Build (W)in32 or (S)DL version? (S)" option=`input`; |