aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/multithreaded_volatile
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-04-10 18:54:59 +0200
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-04-10 18:54:59 +0200
commit4cb7dc42f8be5fac13f7a36deb5f312ce19583cc (patch)
tree7fbc42f864ad28987f57c13930ec0dd48b0f9d46 /test/monniaux/multithreaded_volatile
parent20acec967714f7f024816992c53c6371d3b124af (diff)
downloadcompcert-kvx-4cb7dc42f8be5fac13f7a36deb5f312ce19583cc.tar.gz
compcert-kvx-4cb7dc42f8be5fac13f7a36deb5f312ce19583cc.zip
now compiles with pthread.h
Diffstat (limited to 'test/monniaux/multithreaded_volatile')
-rw-r--r--test/monniaux/multithreaded_volatile/volatile.c5
1 files changed, 1 insertions, 4 deletions
diff --git a/test/monniaux/multithreaded_volatile/volatile.c b/test/monniaux/multithreaded_volatile/volatile.c
index d4e08d6d..f8ffee2d 100644
--- a/test/monniaux/multithreaded_volatile/volatile.c
+++ b/test/monniaux/multithreaded_volatile/volatile.c
@@ -1,9 +1,6 @@
#include <stdio.h>
#include <time.h>
-
-int pthread_create(pthread_t *thread, const pthread_attr_t *attr,
- void *(*start_routine) (void *), void *arg);
-int pthread_join(pthread_t thread, void **retval);
+#include <pthread.h>
typedef unsigned data;