Changeset 3273 in orxonox.OLD for orxonox/branches/updater/src/gui/orxonox_gui_update.h

Timestamp:

Dec 24, 2004, 9:43:22 PM (21 years ago)

Author:

bensch

Message:

orxonox/branches/updater: checking if pthread is an option

File:

• orxonox/branches/updater/src/gui/orxonox_gui_update.h (modified) (2 diffs)

orxonox/branches/updater/src/gui/orxonox_gui_update.h

@@ -14 +14 @@
 #include <curl/easy.h>
 #endif /* HAVE_CURL */
+#ifdef HAVE_PTHREAD_H
 #include <pthread.h>
+#endif /* HAVE_PTHREAD_H */
 using namespace std;
 
@@ -64 +66 @@
   static gint cancelDownload(GtkWidget* w, GdkEventKey* event, void* bar);
 #endif /* HAVE_GTK2 */  
+#ifdef HAVE_PTHREAD_H
   static pthread_t* downloadThreadID;
+#endif /* HAVE_PTHREAD_H */
   static bool isDownloading;