Renamed exp-drd directory into drd. Moved drd from the experimental tool class to the class of regular tools.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@8361 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/configure.in b/configure.in
index 52857e6..60180bd 100644
--- a/configure.in
+++ b/configure.in
@@ -1431,10 +1431,10 @@
exp-omega/Makefile
exp-omega/tests/Makefile
exp-omega/docs/Makefile
- exp-drd/Makefile
- exp-drd/docs/Makefile
- exp-drd/scripts/download-and-build-splash2
- exp-drd/tests/Makefile
+ drd/Makefile
+ drd/docs/Makefile
+ drd/scripts/download-and-build-splash2
+ drd/tests/Makefile
)
cat<<EOF