diff options
Diffstat (limited to 'kernel/driver.cc')
| -rw-r--r-- | kernel/driver.cc | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc index 8117a61c5..7f2cdb325 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -27,11 +27,14 @@ #include <stdio.h> #include <string.h> -#include <unistd.h> -#include <libgen.h> #include <limits.h> #include <errno.h> +#ifndef _WIN32 +# include <unistd.h> +#endif + + USING_YOSYS_NAMESPACE int main(int argc, char **argv) |