]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/pkg/plr/ex/pthread_hello/main.c
update
[l4.git] / l4 / pkg / plr / ex / pthread_hello / main.c
index 5ffcb89c4aafb40994232c998d314dc3e309193e..32bf58983e8480ead3d499e0017ec3489fdb2a5e 100644 (file)
@@ -24,6 +24,7 @@ int main(int argc, char **argv)
        (void)argc; (void)argv;
 
        pthread_t pt;
+       printf("\033[32mhello from main thread\033[0m\n");
 
        int res = pthread_create(&pt, NULL, thread, NULL);
        assert(res == 0);