diff options
Diffstat (limited to 'brp-remove-info-dir')
-rw-r--r-- | brp-remove-info-dir | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/brp-remove-info-dir b/brp-remove-info-dir deleted file mode 100644 index 5961830..0000000 --- a/brp-remove-info-dir +++ /dev/null @@ -1,19 +0,0 @@ -#!/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 |