Skip to content
Snippets Groups Projects
Commit daae44e1 authored by Mike McQuaid's avatar Mike McQuaid Committed by GitHub
Browse files

Merge pull request #723 from MikeMcQuaid/diagnostic-HEAD

diagnostic: don't barf if HEAD is also a file.
parents 2ab5c77d 739881b4
No related branches found
No related tags found
No related merge requests found
......@@ -1010,7 +1010,7 @@ module Homebrew
return unless Utils.git_available?
timestamp = if File.directory?("#{HOMEBREW_REPOSITORY}/.git")
HOMEBREW_REPOSITORY.cd { `git log -1 --format="%ct" HEAD`.to_i }
HOMEBREW_REPOSITORY.cd { `git log -1 --format="%ct" HEAD --`.to_i }
else
HOMEBREW_LIBRARY.mtime.to_i
end
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment