Use old-style --int flag to git to work with older gits.

This commit is contained in:
nhkeni
2024-12-24 12:46:53 -05:00
parent bdff809099
commit c27cb28ec5

View File

@@ -151,7 +151,7 @@ sub nhversioning {
# Check for pre-v4 source repo.
my $is_sourcerepo;
{
chomp($is_sourcerepo = `git config --type=int --get nethack.is-sourcerepo`);
chomp($is_sourcerepo = `git config --int --get nethack.is-sourcerepo`);
if(0 == length $is_sourcerepo){ # not set - assume old repo
$is_sourcerepo = 1;
}elsif($is_sourcerepo==1){