diff options
author | Moritz 'Morty' Strübe <moritz.struebe@redheads.de> | 2020-03-19 20:05:05 (GMT) |
---|---|---|
committer | Moritz 'Morty' Strübe <moritz.struebe@redheads.de> | 2020-03-21 10:31:28 (GMT) |
commit | d47343e2a932c2b7834850ed903943c635f7bd3c (patch) | |
tree | 1cabffbcabb3a72a3f2dc62ed57aa4b82f849634 | |
parent | 5a6f35b0de84350b867e06b3eb85622c4cface37 (diff) | |
download | Doxygen-d47343e2a932c2b7834850ed903943c635f7bd3c.zip Doxygen-d47343e2a932c2b7834850ed903943c635f7bd3c.tar.gz Doxygen-d47343e2a932c2b7834850ed903943c635f7bd3c.tar.bz2 |
Fixup condition-variable and mutex
-rw-r--r-- | src/dotrunner.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/dotrunner.h b/src/dotrunner.h index e08ae6f..65bc543 100644 --- a/src/dotrunner.h +++ b/src/dotrunner.h @@ -21,6 +21,7 @@ #include <list> #include <queue> #include <mutex> +#include <condition_variable> #include <memory> /** Minimal constant string class that is thread safe, once initialized. */ |