changeset 29580:62408c80d92d

maint: merge stable to default.
author Markus Mützel <markus.muetzel@gmx.de>
date Fri, 30 Apr 2021 19:23:11 +0200
parents b20fb3769277 (current diff) 3a9000d18596 (diff)
children def7cbcf85ed
files scripts/pkg/pkg.m
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/scripts/pkg/pkg.m	Thu Apr 29 21:51:23 2021 -0700
+++ b/scripts/pkg/pkg.m	Fri Apr 30 19:23:11 2021 +0200
@@ -398,7 +398,7 @@
     global_install = (geteuid () == 0);
   endif
 
-  if (isbool (prefix))
+  if (! user_prefix)
     [prefix, archprefix] = default_prefix (global_install);
     prefix = tilde_expand (prefix);
     archprefix = tilde_expand (archprefix);