.gitignore: update

Signed-off-by: Brice Goglin <Brice.Goglin@inria.fr>
open-mpi · Dec 13, 2018 · e19ba45 · e19ba45
1 parent 342e1b7
commit e19ba45
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -215,3 +215,4 @@ test-suite.log
 
 /contrib/systemd/hwloc-dump-hwdata.service
 /contrib/misc/hwloc-tweak-osindex
+/contrib/windows/test-windows-version.sh