diff options
author | njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2004-11-22 18:04:29 +0000 |
---|---|---|
committer | njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2004-11-22 18:04:29 +0000 |
commit | e3efbfd1cfd2d980bda1de8d78ff421f45c5aea4 (patch) | |
tree | 77680a759b0ec71c7360c52b3984d3105f340eab /valgrind.spec.in | |
parent | 6799325d013e8e5668c2b8727203c77294ccd202 (diff) |
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 a5019735-40e9-0310-863c-91ae7b9d1cf9
Diffstat (limited to 'valgrind.spec.in')
-rw-r--r-- | valgrind.spec.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/valgrind.spec.in b/valgrind.spec.in index 354a5c65..f1b46b75 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 |