diff options
Diffstat (limited to 'tools/configure')
-rwxr-xr-x | tools/configure | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/configure b/tools/configure index fa7be456f6..3d9c503fd9 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -2543,6 +2543,10 @@ fi | |||
2543 | echo "Bootloader build selected" | 2543 | echo "Bootloader build selected" |
2544 | ;; | 2544 | ;; |
2545 | [Ss]) | 2545 | [Ss]) |
2546 | if [ "$modelname" = "sansae200r" ]; then | ||
2547 | echo "Do not use the e200R target for simulator builds. Use e200 instead." | ||
2548 | exit 8 | ||
2549 | fi | ||
2546 | debug="-DDEBUG" | 2550 | debug="-DDEBUG" |
2547 | simulator="yes" | 2551 | simulator="yes" |
2548 | extradefines="-DSIMULATOR" | 2552 | extradefines="-DSIMULATOR" |