Hi Peter,
2009/11/3 Peter Van Eynde pvane...@debian.org:
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
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 than
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,
Raphael
3 matches
Mail list logo
