]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Replace TIME_UTC by TIME_UTC_ as suggested in bug report 64 (https://code.google...
authorWolfgang Bangerth <bangerth@math.tamu.edu>
Thu, 18 Jul 2013 19:31:32 +0000 (19:31 +0000)
committerWolfgang Bangerth <bangerth@math.tamu.edu>
Thu, 18 Jul 2013 19:31:32 +0000 (19:31 +0000)
git-svn-id: https://svn.dealii.org/trunk@30046 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/bundled/boost-1.49.0/include/boost/thread/xtime.hpp

index 7cc6272d6a6c3da8e365f2ea59993f2b11e95132..f908298647e4755421b03064449ea274b504a93a 100644 (file)
@@ -20,7 +20,7 @@ namespace boost {
 
 enum xtime_clock_types
 {
-    TIME_UTC=1
+    TIME_UTC_=1
 //    TIME_TAI,
 //    TIME_MONOTONIC,
 //    TIME_PROCESS,
@@ -68,7 +68,7 @@ inline xtime get_xtime(boost::system_time const& abs_time)
 
 inline int xtime_get(struct xtime* xtp, int clock_type)
 {
-    if (clock_type == TIME_UTC)
+    if (clock_type == TIME_UTC_)
     {
         *xtp=get_xtime(get_system_time());
         return clock_type;

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.