+2014-06-05 Joel Brobecker <brobecker@adacore.com>
+
+ * development.sh: Delete.
+ * Makefile.in (config.status): Adjust dependency on development.sh.
+ * configure.ac: Adjust development.sh source call.
+ * configure: Regenerate.
+
2014-06-02 Pedro Alves <palves@redhat.com>
* ax.c (gdb_free_agent_expr): New function.