Tree - rpms/rpm - CentOS Git server

Forked from rpms/rpm 2 years ago

Blob History Raw

		ed184b	`From 9aae21d7610a7e8067ae932f36d1c8bb8583fe59 Mon Sep 17 00:00:00 2001`
		ed184b	`From: Pavlina Moravcova Varekova <pmoravco@redhat.com>`
		ed184b	`Date: Wed, 5 Jun 2019 06:07:00 +0200`
		ed184b	`Subject: [PATCH] Use [ ] in condition to avoid sub processes in`
		ed184b	`find-debuginfo.sh (#735)`
		ed184b
		ed184b	`Introduced in commit 1da9e83, spotted by covscan.`
		ed184b
		ed184b	`Modified to fix another covscan warning`
		ed184b	`---`
		ed184b	`scripts/find-debuginfo.sh \| 2 +-`
		ed184b	`1 file changed, 1 insertion(+), 1 deletion(-)`
		ed184b
		ed184b	`diff --git a/scripts/find-debuginfo.sh b/scripts/find-debuginfo.sh`
		ed184b	`index 23286139e..d75da1108 100755`
		ed184b	`--- a/scripts/find-debuginfo.sh`
		ed184b	`+++ b/scripts/find-debuginfo.sh`
		ed184b	`@@ -213,7 +213,7 @@ if test -n "$build_id_seed" -a "$no_recompute_build_id" = "true"; then`
		ed184b	`exit 2`
		ed184b	`fi`
		ed184b
		ed184b	`-if ("$strip_g" = "true") && ("$strip_glibs" = "true"); then`
		ed184b	`+if [ "$strip_g" = "true" ] && [ "$strip_glibs" = "true" ]; then`
		ed184b	`echo >&2 "*** ERROR: -g and --g-libs cannot be used together"`
		ed184b	`exit 2`
		ed184b	`fi`
		ed184b	`--`
		ed184b	`2.21.0`
		ed184b