diff options
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/gcc/gcc.c | 6 | ||||
| -rw-r--r-- | driver/ghci/ghci.c | 4 |
2 files changed, 0 insertions, 10 deletions
diff --git a/driver/gcc/gcc.c b/driver/gcc/gcc.c index 4efd559b68..059fbd4142 100644 --- a/driver/gcc/gcc.c +++ b/driver/gcc/gcc.c @@ -7,12 +7,6 @@ #include "cwrapper.h" #include "getLocation.h" -#include <errno.h> -#include <process.h> -#include <stdio.h> -#include <stdlib.h> -#include <stdarg.h> -#include <string.h> int main(int argc, char** argv) { char *binDir; diff --git a/driver/ghci/ghci.c b/driver/ghci/ghci.c index 06165b54e7..414521f97d 100644 --- a/driver/ghci/ghci.c +++ b/driver/ghci/ghci.c @@ -1,12 +1,8 @@ #include "cwrapper.h" #include "getLocation.h" -#include <errno.h> -#include <process.h> #include <stdio.h> #include <stdlib.h> -#include <stdarg.h> -#include <string.h> int main(int argc, char** argv) { char *binDir; |