-
Anthony Mallet authored
The commit forces the checkout cookie to be outdated when the checkout target is invoked again, allowing the checkout to be updated. The checkout script then does the following, depending on MASTER_REPOSITORY: - with git, run git pull instead of git clone - with dir, sync the linkfarm by removing broken links (deleted files) and updating missing links (new files) - with cvs, svn: does the checkout again - it should work, although it's not been tested.
2930af11