rdb
|
16e7831566
|
Remove executable permissions from files that don't need them
|
2015-04-05 15:41:49 +02:00 |
|
rdb
|
708e8dc513
|
Remove HAVE_GETTIMEOFDAY which we aren't using
|
2013-12-17 18:01:54 +00:00 |
|
rdb
|
fec189c225
|
_WIN32 should also be defined on 64-bits Windows
|
2013-05-06 11:23:26 +00:00 |
|
rdb
|
c26c0e6a97
|
Android support, part 1
|
2013-01-24 17:54:56 +00:00 |
David Rose
|
6e5dd2cc63
|
fix memory crashes on win32/Eigen build
|
2011-12-21 01:25:38 +00:00 |
Chris Brunner
|
e0876b9eae
|
forgot a few more flags
|
2010-06-01 16:14:34 +00:00 |
|
Chris Brunner
|
051e5ee70f
|
64-bit build support
|
2010-05-27 23:28:00 +00:00 |