[PATCH] Use dev_t for device id (st_dev) from stat in setup_git_directory_gently() · Raja R Harinath <hidden> · 2016-06-15
Re: [PATCH] Use dev_t for device id (st_dev) from stat in setup_git_directory_gently() · Ævar Arnfjörð Bjarmason <hidden> · 2016-06-15
Re: [PATCH] Use dev_t for device id (st_dev) from stat in setup_git_directory_gently() · Raja R Harinath <hidden> · 2016-06-15

Re: [PATCH] Use dev_t for device id (st_dev) from stat in setup_git_directory_gently()

From: Ævar Arnfjörð Bjarmason <hidden>
Date: 2016-06-15 22:49:07

On Tue, Jul 13, 2010 at 09:02, Raja R Harinath [off-list ref] wrote:

The original declaration was int, which seems to cause trouble on my
machine.

What OS/architecture is your machine running?