mirror of https://github.com/YosysHQ/abc.git
Adding undefined procedure.
This commit is contained in:
parent
d2c15a04db
commit
2accf61bcd
|
|
@ -72,11 +72,22 @@ void kill_on_parent_death(int sig)
|
||||||
#include <thread>
|
#include <thread>
|
||||||
|
|
||||||
#include <cassert>
|
#include <cassert>
|
||||||
|
#include <cerrno>
|
||||||
|
|
||||||
#include <sys/types.h>
|
#include <sys/types.h>
|
||||||
#include <sys/event.h>
|
#include <sys/event.h>
|
||||||
#include <sys/time.h>
|
#include <sys/time.h>
|
||||||
|
|
||||||
|
template <typename Func>
|
||||||
|
static auto retry_eintr(Func &&fn) -> decltype(fn())
|
||||||
|
{
|
||||||
|
decltype(fn()) rc;
|
||||||
|
do {
|
||||||
|
rc = fn();
|
||||||
|
} while (rc == -1 && errno == EINTR);
|
||||||
|
return rc;
|
||||||
|
}
|
||||||
|
|
||||||
void kill_on_parent_death(int sig)
|
void kill_on_parent_death(int sig)
|
||||||
{
|
{
|
||||||
const int ppid = getppid();
|
const int ppid = getppid();
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue