you cannot use the ISP testsuite without model-checking

[simgrid.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index a42d951..6dff2de 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -17,6 +17,7 @@
 
 ### cmake
 CTestCustom.cmake
+CTestResults.xml
 
 ### Maintainer mode
 src/simdag/dax_dtd.l
@@ -69,8 +70,8 @@ lib/
 manpages/
 build_*/
 build/
-buildtools/Cmake/memcheck_tests.cmake
-buildtools/Cmake/test_prog/prog_va_copy.c
+tools/cmake/memcheck_tests.cmake
+tools/cmake/test_prog/prog_va_copy.c
 ### windows borland
 *.bpr
 *.bpf
@@ -181,7 +182,6 @@ examples/msg/masterslave/masterslave_console
 examples/msg/irc_isend/peer
 examples/msg/irc_isend/toto.txt
 examples/msg/ns3/ns3
-examples/s4u/dumb/s4u_test
 examples/simdag/sd_avail
 examples/simdag/ex_sd_seq_access
 examples/simdag/sd_seq_access