From 39d33ba8a3bc77fd16b3183b8a6e300c0930a878 Mon Sep 17 00:00:00 2001 From: Robert Marshall Date: Tue, 12 Jul 2016 10:25:16 -0400 Subject: [PATCH 210/211] Fix duplicate shell entries (#1226325) Coverity discovered more of the same non-used shell variables that had appeared more than once in the file. Related: rhbz#1226325 --- util/grub-get-kernel-settings.in | 7 ------- 1 file changed, 7 deletions(-) diff --git a/util/grub-get-kernel-settings.in b/util/grub-get-kernel-settings.in index cee8c20..6a68a0e 100644 --- a/util/grub-get-kernel-settings.in +++ b/util/grub-get-kernel-settings.in @@ -17,13 +17,6 @@ set -e # You should have received a copy of the GNU General Public License # along with GRUB. If not, see . -prefix="@prefix@" -exec_prefix="@exec_prefix@" -datarootdir="@datarootdir@" - -exec_prefix="@exec_prefix@" -sbindir="@sbindir@" -bindir="@bindir@" PACKAGE_NAME=@PACKAGE_NAME@ PACKAGE_VERSION=@PACKAGE_VERSION@ datadir="@datadir@" -- 2.7.4