diff --git a/tools/make-extra-dist.sh b/tools/make-extra-dist.sh index 63e0a38e0230aa2a5b339a8abcb91c5465b5d964..94598810eea8e007073c42646cd8d26c83bd7863 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 c11567fe9f422231c4ef52b0cb465861de0f5ce5..320490dd3e10945bd19886003a50c87bcab08412 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