diff options
| author | Marko Durkovic <marko@miding.de> | 2014-12-09T11·16+0100 |
|---|---|---|
| committer | Marko Durkovic <marko@miding.de> | 2014-12-09T12·00+0100 |
| commit | 629e8da3aa6da507bc360385f5f341471ef57a89 (patch) | |
| tree | 187a913ba7b19f9f5be01224e0c19176f358bb71 /src/libmain | |
| parent | 9c58691ce3a35833ddcbf157f9f174ab0cc1c37a (diff) | |
Explicitly include required C headers
Diffstat (limited to 'src/libmain')
| -rw-r--r-- | src/libmain/shared.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/libmain/shared.cc b/src/libmain/shared.cc index ef4ea370622b..bf5688a1e606 100644 --- a/src/libmain/shared.cc +++ b/src/libmain/shared.cc @@ -11,6 +11,7 @@ #include <exception> #include <algorithm> +#include <stdlib.h> #include <sys/time.h> #include <sys/stat.h> #include <unistd.h> |