summaryrefslogtreecommitdiff
path: root/tools/configure
diff options
context:
space:
mode:
Diffstat (limited to 'tools/configure')
-rwxr-xr-xtools/configure1
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 *)