diff options
Diffstat (limited to 'brp-remove-info-dir')
-rw-r--r-- | brp-remove-info-dir | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/brp-remove-info-dir b/brp-remove-info-dir new file mode 100644 index 0000000..5961830 --- /dev/null +++ b/brp-remove-info-dir @@ -0,0 +1,19 @@ +#!/bin/sh + +if [ -z "$RPM_BUILD_ROOT" ]; then + echo "No build root defined" >&2 + exit 1 +fi + +if [ ! -d "$RPM_BUILD_ROOT" ]; then + echo "Invalid build root" >&2 + exit 1 +fi + +INFODIR=`rpm --eval %{_infodir}/dir` + +dir="$RPM_BUILD_ROOT/$INFODIR" + +if [ -f $dir -a ! -L $dir ]; then + rm -f $dir +fi |