diff options
Diffstat (limited to 'tools/configure')
-rwxr-xr-x | tools/configure | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/configure b/tools/configure index 3cbb77fedf..693113e19f 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -2519,6 +2519,7 @@ fi | |||
2519 | GCCOPTS=''; | 2519 | GCCOPTS=''; |
2520 | appsdir='\$(ROOTDIR)/tools/checkwps'; | 2520 | appsdir='\$(ROOTDIR)/tools/checkwps'; |
2521 | output='checkwps.'${modelname}; | 2521 | output='checkwps.'${modelname}; |
2522 | archosrom=''; | ||
2522 | echo "CheckWPS build selected" | 2523 | echo "CheckWPS build selected" |
2523 | ;; | 2524 | ;; |
2524 | *) | 2525 | *) |