diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2017-06-21 21:12:19 -0700 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2017-06-21 21:19:23 -0700 |
commit | 05435d64aa3a019c3a3d05ca6a112b44daf5195d (patch) | |
tree | fc107db23f38df06eb2493e7a9bf27f66b76ea24 /dives/test23.xml | |
parent | f0c903203f9d1b5daeed17424c0ef1326e2fe1b1 (diff) | |
download | subsurface-05435d64aa3a019c3a3d05ca6a112b44daf5195d.tar.gz |
Android build: work around odd build problem with missing rand()
I don't quite understand why this isn't correctly substituted to lrand48()
by the header file, but patching it in the source is easy enough.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'dives/test23.xml')
0 files changed, 0 insertions, 0 deletions