std-analysis.sh platform incompatibility issue on Debian

[patricklam]

The script scripts/kani-std-analysis/std-analysis.sh uses uname -sp to request the platform. On my (Debian) computer, that results in the output "Linux unknown", and the script refuses to continue. It is uname -msp that results in getting output "Linux x86_64 unknown".

Strangely, the Ubuntu computers I have access to returns Linux x86_64 for uname -sp.

In any case, I don't have any OSX computers and I don't know what uname -msp would return on them, so I can't really propose a correct fix, but it should be easy enough for someone who has one.

Thanks!

[patricklam]

Hmm, HEAD contains uname -sm, which works. I had a problem last year but can't reproduce it.