summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xinfrastructure/makeparcels.pl.in10
1 files changed, 9 insertions, 1 deletions
diff --git a/infrastructure/makeparcels.pl.in b/infrastructure/makeparcels.pl.in
index b423651c..ba22ad62 100755
--- a/infrastructure/makeparcels.pl.in
+++ b/infrastructure/makeparcels.pl.in
@@ -237,7 +237,15 @@ EOF
my $local_install_dir = $install_into_dir;
if (defined $dest)
{
- $local_install_dir = "@prefix@/$dest";
+ if ($dest =~ m,^/,)
+ {
+ # Don't add $prefix if $dest is a literal path
+ $local_install_dir = $dest;
+ }
+ else
+ {
+ $local_install_dir = "@prefix@/$dest";
+ }
}
print SCRIPT "mkdir -p " .
"\${DESTDIR}$local_install_dir/\n";