[PATCH] config: Remove unnecessary setting/unsetting of prefix in profiles

[Mark Wielaard]

In both profile.csh.in and profile.sh.in we set and then unset
prefix, but never use it.

Signed-off-by: Mark Wielaard <mark@klomp.org>
---
 config/ChangeLog      | 5 +++++
 config/profile.csh.in | 2 --
 config/profile.sh.in  | 2 --
 3 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/config/ChangeLog b/config/ChangeLog
index cfb37b42..603fbcb0 100644
--- a/config/ChangeLog
+++ b/config/ChangeLog
@@ -1,3 +1,8 @@
+2022-06-29  Mark Wielaard  <mark@klomp.org>
+
+	* profile.csh.in: Remove setting/unsetting of prefix.
+	* profile.sh.in: Likewise.
+
 2022-05-03  Mark Wielaard  <mark@klomp.org>
 
 	* profile.csh.in: Move the 2>/dev/null inside the sh -c '' quotes.
diff --git a/config/profile.csh.in b/config/profile.csh.in
index 74c20c99..b61b467b 100644
--- a/config/profile.csh.in
+++ b/config/profile.csh.in
@@ -5,12 +5,10 @@
 # such as $DEBUGINFOD_MAXSIZE, $DEBUGINFOD_MAXTIME, $DEBUGINFOD_PROGRESS.
 
 if (! $?DEBUGINFOD_URLS) then
-    set prefix="@prefix@"
     set DEBUGINFOD_URLS=`sh -c 'cat "$0"/*.urls 2>/dev/null; :' "@sysconfdir@/debuginfod" | tr '\n' ' '`
     if ( "$DEBUGINFOD_URLS" != "" ) then
         setenv DEBUGINFOD_URLS "$DEBUGINFOD_URLS"
     else
         unset DEBUGINFOD_URLS
     endif
-    unset prefix
 endif
diff --git a/config/profile.sh.in b/config/profile.sh.in
index bad20b1e..9a978a6b 100644
--- a/config/profile.sh.in
+++ b/config/profile.sh.in
@@ -5,8 +5,6 @@
 # such as $DEBUGINFOD_MAXSIZE, $DEBUGINFOD_MAXTIME, $DEBUGINFOD_PROGRESS.
 
 if [ -z "$DEBUGINFOD_URLS" ]; then
-    prefix="@prefix@"
     DEBUGINFOD_URLS=$(cat "@sysconfdir@/debuginfod"/*.urls 2>/dev/null | tr '\n' ' ')
     [ -n "$DEBUGINFOD_URLS" ] && export DEBUGINFOD_URLS || unset DEBUGINFOD_URLS
-    unset prefix
 fi
-- 
2.18.4