diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/configure | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/tools/configure b/tools/configure index 949bea1a37..28f7813ec8 100755 --- a/tools/configure +++ b/tools/configure @@ -1585,9 +1585,6 @@ fi echo "GDB stub build selected" ;; [Mm]) - appsdir='\$(ROOTDIR)/manual' - firmdir='\$(ROOTDIR)/manual/platform' # No Makefile here. Effectively ig:res target - toolsdir=$firmdir; toolset=''; apps="manual" echo "Manual build selected" |