Hi Peter,
2009/11/3 Peter Van Eynde :
> Hello Raphael,
>
> I don't know what went wrong there, but you're right it is still there,
> however in the code you can read:
>
>> # Use a simple mkdir command. It is guaranteed to fail if the directory
>> # already exists. $RANDOM is bash specific
Hello Raphael,
I don't know what went wrong there, but you're right it is still there,
however in the code you can read:
> # Use a simple mkdir command. It is guaranteed to fail if the directory
> # already exists. $RANDOM is bash specific and expands to empty in shells
> # other tha
found 530054 1:2.48-1
thanks
Hi,
Seems like something went wrong with your upload, I just detected it once
again:
checkbashisms' output:
> possible bashism in ./usr/lib/clisp-2.48/clisp-link line 124 ($RANDOM):
> tmp=$TMPDIR/gt$$-$RANDOM
It might be easier to use mktemp.
Thank you,
Raphae
3 matches
Mail list logo
