Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[windows] use 'cmake -E remove_directory' instead of 'rm -rf'
authorMartin Quinson <martin.quinson@loria.fr>
Wed, 30 Sep 2015 20:06:28 +0000 (22:06 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Wed, 30 Sep 2015 20:06:33 +0000 (22:06 +0200)
commit19a7c8ab1c28dc5f6e68931f2196eab6fd0f950f
tree87bc664840ee579bebfcc55f7b975830abe88203
parent34962e98e3b23bd33da7e23b83efbb9b0f87a2bf
[windows] use 'cmake -E remove_directory' instead of 'rm -rf'

It fails with the following error message on appveyor:

 "C:/Program Files (x86)/Git/bin/rm.EXE": cannot unlink `temp_testdir_background/tmp_fich': Permission denied
tools/tesh/background.tesh
tools/tesh/bg-set-signal.tesh
tools/tesh/catch-signal.tesh
tools/tesh/cd.tesh
tools/tesh/setenv.tesh