@@ -927,8 +927,13 @@ static void _populateBanner(char **banner, char **time, char **thread, int *bann
927927 bannerLen = asprintf (banner , "%04d-%02d-%02d %02d:%02d:%02d.%03d %s[%d:%lx] " , year , month , day , hour , minute , second , ms , * _CFGetProgname (), getpid (), GetCurrentThreadId ());
928928 asprintf (thread , "%lx" , GetCurrentThreadId ());
929929#elif TARGET_OS_WASI
930- bannerLen = asprintf (banner , "%04d-%02d-%02d %02d:%02d:%02d.%03d [%x] " , year , month , day , hour , minute , second , ms , (unsigned int )pthread_self ());
931- asprintf (thread , "%lx" , pthread_self ());
930+ _CFThreadRef tid = 0 ;
931+ // When pthread API is available from wasi-libc, use it. Otherwise use the dummy value.
932+ # if _POSIX_THREADS
933+ tid = pthread_self ();
934+ # endif
935+ bannerLen = asprintf (banner , "%04d-%02d-%02d %02d:%02d:%02d.%03d [%x] " , year , month , day , hour , minute , second , ms , (unsigned int )tid );
936+ asprintf (thread , "%lx" , tid );
932937#else
933938 bannerLen = asprintf (banner , "%04d-%02d-%02d %02d:%02d:%02d.%03d %s[%d:%x] " , year , month , day , hour , minute , second , ms , * _CFGetProgname (), getpid (), (unsigned int )pthread_self ());
934939 asprintf (thread , "%lx" , pthread_self ());
0 commit comments