Removed include/vg_skin.h, which has been a shell just pointing to

tool.h for a while now.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3058

diff --git a/include/Makefile.am b/include/Makefile.am
index 022c953c65dd0638773e0c55f72627d9fac40f87..26e06ed54542394c420e6fdaa3959ed33971730d 100644 (file)
--- a/include/Makefile.am
+++ b/include/Makefile.am
@@ -12,8 +12,7 @@ incinc_HEADERS = \
        basic_types.h \
        tool.h \
        tool_asm.h \
-       valgrind.h \
-       vg_skin.h
+       valgrind.h
 
 BUILT_SOURCES = tool.h valgrind.h
 CLEANFILES = tool.h valgrind.h

diff --git a/include/vg_skin.h b/include/vg_skin.h
deleted file mode 100644 (file)
index 0628888..0000000
--- a/include/vg_skin.h
+++ /dev/null
@@ -1,3 +0,0 @@
-// "vg_skin.h" was renamed to "tool.h";  this is for backward compatibility 
-// with old external tools.
-#include "tool.h"

diff --git a/valgrind.spec.in b/valgrind.spec.in
index 354a5c65d56559f1daa38fe53181591c9b22a382..f1b46b754717cff7b645faf8bdf2c1103b43df7d 100644 (file)
--- a/valgrind.spec.in
+++ b/valgrind.spec.in
@@ -39,7 +39,6 @@ make install DESTDIR=$RPM_BUILD_ROOT
 /usr/include/valgrind/basic_types.h
 /usr/include/valgrind/tool.h
 /usr/include/valgrind/tool_asm.h
-/usr/include/valgrind/vg_skin.h
 /usr/include/valgrind/x86/tool_arch.h
 /usr/include/valgrind/linux/vki.h
 /usr/include/valgrind/x86-linux/vki_arch.h