From 7ed94f51708f7838176bbb46ae680d967aaef744 Mon Sep 17 00:00:00 2001 From: whitequark Date: Fri, 26 Jun 2020 10:45:03 +0000 Subject: icebram: add WASI platform support. --- icebram/icebram.cc | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/icebram/icebram.cc b/icebram/icebram.cc index 1bb3095..aacf00c 100644 --- a/icebram/icebram.cc +++ b/icebram/icebram.cc @@ -179,7 +179,11 @@ int main(int argc, char **argv) // to repeat simultaneously. uint32_t seed_nr; if (!seed) { +#if defined(__wasm) + seed_nr = 0; +#else seed_nr = getpid(); +#endif } else { seed_nr = seed_opt; } -- cgit v1.2.3