From: Clifford Wolf <clifford@clifford.at>
Date: Mon, 15 Jul 2019 17:42:11 +0000 (+0200)
Subject: Merge pull request #1197 from nakengelhardt/handle-setrlimit-fail
X-Git-Tag: working-ls180~1199
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=bf8bb54c1a94a8106f99e9a5aedb95b32d76bb9a;p=yosys.git

Merge pull request #1197 from nakengelhardt/handle-setrlimit-fail

smt: handle failure of setrlimit syscall
---

bf8bb54c1a94a8106f99e9a5aedb95b32d76bb9a