diff: src/main/resources/make/toolchain.sh
src/main/resources/make/toolchain.sh
- changeset 139
- e5eebfc6598d
- parent 135
- 9afe68b15c66
- child 140
- f453503e09dc
--- a/src/main/resources/make/toolchain.sh Fri May 02 19:26:01 2025 +0200 +++ b/src/main/resources/make/toolchain.sh Mon May 19 13:03:18 2025 +0200 @@ -68,7 +68,7 @@ #else std::cout << "toolchain:unknown" << std::endl; #endif - std:cout << "wsize:" << sizeof(void*)*8 << std::endl; + std::cout << "wsize:" << sizeof(void*)*8 << std::endl; return 0; } __EOF__
