diff -r 4a45c5758258 -r 7ede374110e5 config/global/paths.in
--- a/config/global/paths.in	Sun Sep 12 21:38:12 2010 +0200
+++ b/config/global/paths.in	Fri Jan 28 22:06:49 2011 +0100
@@ -61,6 +61,28 @@
 #      The reason you might also want to install elsewhere is if you are going
 #      to package your shinny new toolchain for distribution.
 
+config RM_RF_PREFIX_DIR
+    bool
+    prompt "|  Remove the prefix dir prior to building"
+    default y
+    depends on !BACKEND
+    help
+      If you say 'y' here, then PREFIX_DIR (above) will be eradicated
+      prior to the toolchain is built.
+      
+      This can be usefull when you are trying different settings (due
+      to build failures or feature tests). In this case, to avoid using
+      a potentially broken previous toolchain, the install location is
+      removed, to start afresh.
+      
+      On the oher hand, if you are building a final toolchain, and install
+      it into a directory with pre-install, unrelated programs, it would be
+      damageable to remove that directory. In this case, you may want to
+      say 'n' here.
+      
+      Note that when acting as a backend, this option is not available, and
+      is forced to 'n'.
+
 config REMOVE_DOCS
     bool
     prompt "Remove documentation"