chiark / gitweb /
build system: Cope if HEAD refers to a packed ref
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 29 Nov 2019 20:18:14 +0000 (20:18 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Dec 2019 15:49:34 +0000 (15:49 +0000)
In this case, there may be no corresponding .git/refs/<whatever>.
Simply tolerate this.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

No differences found