Merge branch 'master' of https://github.com/AxioDL/amuse

2025-12-08 21:17:49 +00:00 · 2016-07-06 18:21:49 -10:00
parent 695fc10b8f feea7c2ecc
commit 83a2bf0b4e
2 changed files with 82 additions and 0 deletions
--- a/driver/amuserender.cpp
+++ b/driver/amuserender.cpp
@@ -7,6 +7,7 @@
 #include "optional.hpp"
 #include <stdio.h>
 #include <string.h>
+#include <signal.h>
 #include <thread>
 #include <map>
 #include <set>