projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 113f129) | patch
- libs/ezsat/ezminisat.cc: use sigemptyset() to clear sig_action.sa_mask; use SA_RES...
authorSiesh1oo <siesh1oo@siesh1oo.no>
Mon, 10 Mar 2014 19:23:55 +0000 (20:23 +0100)
committerSiesh1oo <siesh1oo@siesh1oo.no>
Mon, 10 Mar 2014 19:23:55 +0000 (20:23 +0100)
commitd091be401140088431ac2c1bf2bc97415e37c9ff
tree87868be85a3b694f76782703322482d7c97b151dtree
parent113f129b348c48fff67242fe65906b3821ae7bd4commit | diff
 - libs/ezsat/ezminisat.cc: use sigemptyset() to clear sig_action.sa_mask; use SA_RESTART flag for improved robustness of code that is not signal-aware.
libs/ezsat/ezminisat.cc diff | blob | history