--- a/src/config-store/examples/config-store-save.cc	Thu Aug 18 17:13:33 2011 +0100
+++ b/src/config-store/examples/config-store-save.cc	Thu Aug 18 14:14:52 2011 -0700
@@ -49,6 +49,7 @@
   // ConfigureAttributes() will work below.
   Config::RegisterRootNamespaceObject (a2_obj);
   
+#ifdef HAVE_LIBXML2
   // Output config store to XML format
   Config::SetDefault ("ns3::ConfigStore::Filename", StringValue ("output-attributes.xml"));
   Config::SetDefault ("ns3::ConfigStore::FileFormat", StringValue ("Xml"));
@@ -56,6 +57,7 @@
   ConfigStore outputConfig;
   outputConfig.ConfigureDefaults ();
   outputConfig.ConfigureAttributes ();
+#endif /* HAVE_LIBXML2 */
 
   // Output config store to txt format
   Config::SetDefault ("ns3::ConfigStore::Filename", StringValue ("output-attributes.txt"));