diff options
Diffstat (limited to 'scripts/gdb/gdb.add')
-rw-r--r-- | scripts/gdb/gdb.add | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/gdb/gdb.add b/scripts/gdb/gdb.add index 0c5d7332c6..ed6664e285 100644 --- a/scripts/gdb/gdb.add +++ b/scripts/gdb/gdb.add @@ -110,3 +110,5 @@ test -d build || mkdir build gzip -f $RPM_BUILD_ROOT%{_prefix}/info/*.info-?? 2>/dev/null %endif + # We don't ship info/dir + rm -f $RPM_BUILD_ROOT%{_prefix}/info/dir |