From b1c8ef0d8cefcf7d115ce50a37fb845bad130045 Mon Sep 17 00:00:00 2001 From: rtoy <rtoy> Date: Thu, 13 Aug 2009 14:22:56 +0000 Subject: [PATCH] When creating distribution binaries, use a "random" directory name "release-$$" instead of the fixed name "release". --- tools/make-extra-dist.sh | 2 +- tools/make-main-dist.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/make-extra-dist.sh b/tools/make-extra-dist.sh index 63e0a38e0..94598810e 100755 --- a/tools/make-extra-dist.sh +++ b/tools/make-extra-dist.sh @@ -26,7 +26,7 @@ then exit 2 fi -DESTDIR=${INSTALL_DIR:-release} +DESTDIR=${INSTALL_DIR:-release-$$} TARGET="`echo $1 | sed 's:/*$::'`" VERSION=$2 ARCH=$3 diff --git a/tools/make-main-dist.sh b/tools/make-main-dist.sh index c11567fe9..320490dd3 100755 --- a/tools/make-main-dist.sh +++ b/tools/make-main-dist.sh @@ -28,7 +28,7 @@ then exit 2 fi -DESTDIR=${INSTALL_DIR:-release} +DESTDIR=${INSTALL_DIR:-release-$$} MANDIR=${MANDIR:-man/man1} TARGET="`echo $1 | sed 's:/*$::'`" VERSION=$2 -- GitLab