diff options
Diffstat (limited to 'tools/configure')
-rwxr-xr-x | tools/configure | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure index 1a03f3f010..0f617d7093 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -4307,7 +4307,6 @@ fi | |||
4307 | uname=`uname` | 4307 | uname=`uname` |
4308 | simcc "checkwps" | 4308 | simcc "checkwps" |
4309 | toolset=''; | 4309 | toolset=''; |
4310 | t_cpu=''; | ||
4311 | GCCOPTS=''; | 4310 | GCCOPTS=''; |
4312 | rbdir='.' | 4311 | rbdir='.' |
4313 | extradefines="$extradefines -DDEBUG" | 4312 | extradefines="$extradefines -DDEBUG" |