Remove generated file after use.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@8856 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/buildtools/Cmake/CompleteInFiles.cmake b/buildtools/Cmake/CompleteInFiles.cmake
index ce27f9a..874f7b5 100644 (file)
--- a/buildtools/Cmake/CompleteInFiles.cmake
+++ b/buildtools/Cmake/CompleteInFiles.cmake
@@ -669,6 +669,7 @@ foreach(fct ${diff_va})
        endif(COMPILE_VA_NULL_VAR)
        
 endforeach(fct ${diff_va})
+file(REMOVE "${PROJECT_DIRECTORY}/buildtools/Cmake/test_prog/prog_va_copy.c")
 
 #--------------------------------------------------------------------------------------------------
 ### check for getline