From 75d22a8da7a0886175094ccdf3201ede954a9f90 Mon Sep 17 00:00:00 2001 From: Maxime Coste Date: Mon, 25 Apr 2016 13:41:51 +0100 Subject: [PATCH] Add another missing include in shell_manager.cc --- src/shell_manager.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/src/shell_manager.cc b/src/shell_manager.cc index d11dc88b2..cfc364cd1 100644 --- a/src/shell_manager.cc +++ b/src/shell_manager.cc @@ -11,6 +11,7 @@ #include #include #include +#include extern char **environ;