diff options
-rwxr-xr-x | tools/configure | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/configure b/tools/configure index d0b8cc0462..a972274f5d 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -100,6 +100,8 @@ if [ "$target" = "update" ]; then | |||
100 | 100 | ||
101 | if [ "$debug" = "SIMULATOR=1" ]; then | 101 | if [ "$debug" = "SIMULATOR=1" ]; then |
102 | simulator="yes" | 102 | simulator="yes" |
103 | display=`grep "^DISPLAY=" Makefile | cut -d= -f2-` | ||
104 | keypad=`grep "^KEYPAD=" Makefile | cut -d= -f2-` | ||
103 | fi | 105 | fi |
104 | fi | 106 | fi |
105 | fi | 107 | fi |