diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-20T19·29+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-20T19·29+0000 |
commit | 6f1a0f948dc5a98f2efcdafb0fdde96bebbf90da (patch) | |
tree | b25798966aefa5ca7d883ced33a19d3d754e1392 /src/exec.hh | |
parent | ab350eafd2c1a98ea98090fdb3bd9b7ae4f7336b (diff) |
* Refactorings.
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 000000000000..9dc8e0cd029c --- /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 */ |