From efc595394b2863ef13f02e7ef90ffa7f82b55ef6 Mon Sep 17 00:00:00 2001 From: Niklas Larsson Date: Tue, 19 May 2020 15:46:28 +0200 Subject: [PATCH] Make network test build on windows Add a little to gitignore --- .gitignore | 7 +++++++ libs/network/test.c | 2 ++ 2 files changed, 9 insertions(+) diff --git a/.gitignore b/.gitignore index f5ab3c0f2..880764ccf 100644 --- a/.gitignore +++ b/.gitignore @@ -2,6 +2,10 @@ *.ibc *.ttc *.ttm +*.o +*.d +*.a +*.dll *.dSYM @@ -12,6 +16,9 @@ /docs/build/ /libs/**/build + +/src/IdrisPaths.idr + /tests/**/output /tests/**/*.so /tests/**/*.dylib diff --git a/libs/network/test.c b/libs/network/test.c index 939536249..47906453c 100644 --- a/libs/network/test.c +++ b/libs/network/test.c @@ -1,7 +1,9 @@ #include #include +#ifndef _WIN32 #include #include +#endif #include "idris_net.h"