#include <stdio.h>
#include <stdlib.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <unistd.h>
#include <pthread.h>
#include <fcntl.h>

void *fun(){
printf("ciao\n");
}

int main(){

pthread_t t;

pthread_create(&t,NULL,fun,NULL);
return 0;
}


C'è qualche libreria più del dovuto perchè l'ho creato velocemente al momento per semplificare l'analisi. Anche questo sul pc della mia ragazza stampa "ciao" sul mio non fa assolutamente niente.
gcc non da alcun segno di errore