diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2023-04-15 08:41:37 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2023-04-15 08:41:37 +0200 |
| commit | f20a9d81cbcd514ed629b69364cd85a72ac06e95 (patch) | |
| tree | cdc0b1480c65a59bdc0862ee4807139a48a36d1f /log/check_dev.log | |
| parent | 19016037302814387799426fc40b318ee54b07f0 (diff) | |
Make using predefined symbols optional
I got crashes under some circumstances when using symbols stored in the
mkinmod object. One such circumstance was the use of a moved DLL in
combination with parallel computing on a cluster. As I cannot exactly
define at the moment when this happens, it is better to make this
an opt in.
Diffstat (limited to 'log/check_dev.log')
0 files changed, 0 insertions, 0 deletions