diff -r 8621ef3d6caa -r cf32fe2eb254 common/autoconf/basics.m4
--- a/common/autoconf/basics.m4	Wed Feb 12 17:03:39 2014 -0800
+++ b/common/autoconf/basics.m4	Thu Feb 13 23:30:08 2014 +0100
@@ -558,9 +558,6 @@
   # You can run make from the OUTPUT_ROOT, or from the top-level Makefile
   # which will look for generated configurations
   AC_CONFIG_FILES([$OUTPUT_ROOT/Makefile:$AUTOCONF_DIR/Makefile.in])
-
-  # Save the arguments given to us
-  echo "$CONFIGURE_COMMAND_LINE" > $OUTPUT_ROOT/configure-arguments
 ])
 
 AC_DEFUN_ONCE([BASIC_SETUP_LOGGING],