icebram: add WASI platform support.

2020-06-26 10:45:03 +00:00 · 2020-06-26 10:45:03 +00:00 · 7ed94f5170
parent f8b8ea0f3c
commit 7ed94f5170
1 changed files with 4 additions and 0 deletions
--- 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;
 		}