Thanks, applied as d93df30ca039207a49664c1d83d83a8efe06a3f9.

Michael

[sent from post-receive hook]

On Wed, 16 Jun 2021 12:35:28 +0200, Roland Hieber <[email protected]> wrote:
> For debugging purposes it might be useful to run ptxdist inside a
> 'ptxdist bash' session, but under normal conditions this will not work
> out of the box. Mention the fact to prevent confusion and useless
> debugging sessions:
> 
>     $ ptxdist
>     FATAL didn't find /scripts/ptxdist_vars.sh
>     Note: PTXdist was called inside 'ptxdist bash' – things may be broken.
> 
> Signed-off-by: Roland Hieber <[email protected]>
> Message-Id: <[email protected]>
> Signed-off-by: Michael Olbrich <[email protected]>
> 
> diff --git a/bin/ptxdist b/bin/ptxdist
> index 13f81674f4fd..c41065311f0c 100755
> --- a/bin/ptxdist
> +++ b/bin/ptxdist
> @@ -2641,6 +2641,10 @@ setup_export() {
>  ########################################################################
>  
>  main() {
> +     if [ -n "${PTXDIST_TOPDIR}" ]; then
> +             ptxd_bailout "Calling PTXdist inside 'ptxdist bash' is not 
> supported."
> +     fi
> +
>       check_uid &&
>       check_path &&
>  

_______________________________________________
ptxdist mailing list
[email protected]
To unsubscribe, send a mail with subject "unsubscribe" to 
[email protected]

Reply via email to