aboutsummaryrefslogtreecommitdiff
path: root/log/check_dev.log
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2023-04-15 08:41:37 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2023-04-15 08:41:37 +0200
commitf20a9d81cbcd514ed629b69364cd85a72ac06e95 (patch)
treecdc0b1480c65a59bdc0862ee4807139a48a36d1f /log/check_dev.log
parent19016037302814387799426fc40b318ee54b07f0 (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

Contact - Imprint