From: Nicholas Nethercote Date: Mon, 22 Nov 2004 18:04:29 +0000 (+0000) Subject: Removed include/vg_skin.h, which has been a shell just pointing to X-Git-Tag: svn/VALGRIND_3_0_0~1260 X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=ceb66880aebd1e999cfa23d6b7f52aba40d3772b;p=thirdparty%2Fvalgrind.git 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 022c953c65..26e06ed545 100644 --- 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 index 0628888d96..0000000000 --- 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 354a5c65d5..f1b46b7547 100644 --- 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