diff options
Diffstat (limited to 'src/exec.hh')
-rw-r--r-- | src/exec.hh | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/src/exec.hh b/src/exec.hh new file mode 100644 index 000000000..9dc8e0cd0 --- /dev/null +++ b/src/exec.hh @@ -0,0 +1,18 @@ +#ifndef __EXEC_H +#define __EXEC_H + +#include <string> +#include <map> + +using namespace std; + + +/* A Unix environment is a mapping from strings to strings. */ +typedef map<string, string> Environment; + + +/* Run a program. */ +void runProgram(const string & program, Environment env); + + +#endif /* !__EXEC_H */ |