Add a simple test to check whether the compiler accepts __thread

diff --git a/buildtools/Cmake/test_prog/prog_thread_storage.c b/buildtools/Cmake/test_prog/prog_thread_storage.c
new file mode 100644 (file)
index 0000000..060be0a
--- /dev/null
+++ b/buildtools/Cmake/test_prog/prog_thread_storage.c
@@ -0,0 +1,16 @@
+/* Copyright (c) 2010. The SimGrid Team.
+ * All rights reserved.                                                     */
+
+/* This program is free software; you can redistribute it and/or modify it
+ * under the terms of the license (GNU LGPL) which comes with this package. */
+
+#include <stdio.h>
+
+__thread int thread_specific_variable = 0;
+
+int main(void) {
+
+  thread_specific_variable++;
+  printf("%d\n", thread_specific_variable);
+  return 0;
+}