From 88ffcbc56d6591080a63d7df0c07c7d744113dbf Mon Sep 17 00:00:00 2001
From: Steffen Vogel <stvogel@eonerc.rwth-aachen.de>
Date: Mon, 7 May 2018 15:53:40 +0200
Subject: [PATCH] tools: added tools for deleting semaphores and shmem regions

---
 tools/Makefile.inc |  5 +++++
 tools/rmsem.c      | 13 +++++++++++++
 tools/rmshm.c      | 13 +++++++++++++
 3 files changed, 31 insertions(+)
 create mode 100644 tools/rmsem.c
 create mode 100644 tools/rmshm.c

diff --git a/tools/Makefile.inc b/tools/Makefile.inc
index 9ec31ab80..da01a51ba 100644
--- a/tools/Makefile.inc
+++ b/tools/Makefile.inc
@@ -36,6 +36,11 @@ ifeq ($(shell $(PKGCONFIG) libzmq; echo $$?),0)
 	TOOLS_LDLIBS += $(shell $(PKGCONFIG) --libs libzmq)
 endif
 
+ifeq ($(IS_LINUX),1)
+	TOOLS += $(BUILDDIR)/rmshm $(BUILDDIR)/rmsem
+	TOOLS_LDLIBS += -lrt -pthread
+endif
+
 # Compile executable objects
 $(BUILDDIR)/tools/%.o: tools/%.c | $$(dir $$@)
 	$(CC) $(TOOLS_CFLAGS) -c $< -o $@
diff --git a/tools/rmsem.c b/tools/rmsem.c
new file mode 100644
index 000000000..c2ab60ecb
--- /dev/null
+++ b/tools/rmsem.c
@@ -0,0 +1,13 @@
+#include <semaphore.h>
+#include <stdio.h>
+
+int main(int argc, char *argv[])
+{
+	for (int i = 1; i < argc; i++) {
+		int ret = sem_unlink(argv[i]);
+		if (ret)
+			fprintf(stderr, "Failed to unlink: %s\n", argv[i]);
+	}
+
+	return 0;
+}
diff --git a/tools/rmshm.c b/tools/rmshm.c
new file mode 100644
index 000000000..381d7a90f
--- /dev/null
+++ b/tools/rmshm.c
@@ -0,0 +1,13 @@
+#include <sys/mman.h>
+#include <stdio.h>
+
+int main(int argc, char *argv[])
+{
+	for (int i = 1; i < argc; i++) {
+		int ret = shm_unlink(argv[i]);
+		if (ret)
+			fprintf(stderr, "Failed to unlink: %s\n", argv[i]);
+	}
+
+	return 0;
+}