diff options
author | Jens Verwiebe <info@jensverwiebe.de> | 2014-04-22 14:27:35 +0400 |
---|---|---|
committer | Jens Verwiebe <info@jensverwiebe.de> | 2014-04-22 14:27:45 +0400 |
commit | 058bc50799b469f36ef091eb3afc0806ce9de54b (patch) | |
tree | 201fd33a803b3753fc4bc0a1c637b6fde884441c /source | |
parent | 916a216f440e2791332e83c5a64fa93c05e2db40 (diff) |
OSX: tentative fix for D472, ditto creates dirs when needed automatically, also thin out lib. Todo: rather not build the intermediate bins with openmp dependency anyway
Diffstat (limited to 'source')
0 files changed, 0 insertions, 0 deletions