]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Add comment on what one should do with OS dependence.
authorwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Sat, 29 Jan 2000 15:24:18 +0000 (15:24 +0000)
committerwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Sat, 29 Jan 2000 15:24:18 +0000 (15:24 +0000)
git-svn-id: https://svn.dealii.org/trunk@2281 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/base/source/timer.cc

index f52fd652205aa1a82aae1670441b4997599d7902..ef8604dd52f363df4aaf23766b25055e5c04f204 100644 (file)
@@ -4,9 +4,10 @@
 
 #include <base/timer.h>
 #include <ctime>
-#include <sys/time.h>
-
 
+// this include should probably be properly
+// ./configure'd using the AC_HEADER_TIME macro:
+#include <sys/time.h>
 
 // maybe use times() instead of clock()?
 

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.