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"