Merge pull request #3331 from YosysHQ/git_rev_fix
authorMiodrag Milanović <mmicko@gmail.com>
Mon, 23 May 2022 16:33:11 +0000 (18:33 +0200)
committerGitHub <noreply@github.com>
Mon, 23 May 2022 16:33:11 +0000 (18:33 +0200)
commite47cfe277e86d27c28c60d82464f0aec4ebc044b
treefd50dc0f1a87298766aa6acc8aacd1d80cbaf163
parent166a175983edeacb9494e084ef84f6f7fdec1d91
parent87149b3f8e64adcd9c4025f58c71cc0afbd10571
Merge pull request #3331 from YosysHQ/git_rev_fix

work around the new(ish) git safe.directory restrictions