Fixing continues.

This commit is contained in:
Alan Mishchenko 2025-12-24 22:45:37 -08:00
parent 8b79876f17
commit 28cc76119c
3 changed files with 4 additions and 12 deletions

View File

@ -1,6 +1,3 @@
SRC += src/opt/untk/NtkCmd.cpp \
src/opt/untk/NtkCmd.h \
src/opt/untk/Netlist.cpp \
src/opt/untk/Netlist.h \
src/opt/untk/NtkNtk.cpp \
src/opt/untk/NtkNtk.h
src/opt/untk/NtkNtk.cpp

View File

@ -1,2 +1 @@
SRC += src/opt/util/util.cpp \
src/opt/util/util.h
SRC += src/opt/util/util.cpp

View File

@ -9,8 +9,6 @@
#include <csignal>
#include <unistd.h>
#include "util.h"
#ifdef __linux__
#include <sys/prctl.h>
#elif defined(__APPLE__)
@ -22,6 +20,8 @@
#include <sys/time.h>
#endif
#include "util.h"
ABC_NAMESPACE_IMPL_START
using namespace std;
@ -75,8 +75,6 @@ void kill_on_parent_death(int sig)
}
}
/*
#elif defined(__APPLE__)
template <typename Func>
@ -125,8 +123,6 @@ void kill_on_parent_death(int sig)
monitor_thread.detach();
}
*/
#else // neither linux or OS X
void kill_on_parent_death(int sig)