]> gitweb.factorcode.org Git - factor.git/commit
projects / factor.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1f10520) | patch
When deleting a file, if it fails with "Access is denied" then set the file
authorDoug Coleman <doug.coleman@gmail.com>
Wed, 19 Oct 2011 09:31:48 +0000 (02:31 -0700)
committerDoug Coleman <doug.coleman@gmail.com>
Wed, 19 Oct 2011 09:28:45 +0000 (02:28 -0700)
commit56081783896fa835a2ddb82dc47d295c18e76bc0
tree3af8219262f90c5b90d95cbfb9c7bb5d2f597ab8tree | snapshot
parent1f105209cf3745931814c47a27197a3584b4be1ccommit | diff
When deleting a file, if it fails with "Access is denied" then set the file
attributes to normal and try again. Some files in the .git directory are set
to read-only, preventing the build machines from deleting old builds.
basis/io/directories/windows/windows.factor diff | blob | history
basis/io/files/windows/windows.factor diff | blob | history
basis/windows/kernel32/kernel32.factor diff | blob | history
Factor programming language