build.sh: check folder permissions, not mountpoint-destination

[wwwutz]

• circumvent rare race condition on initial mount

• modify tools/build.sh

[donald]

I don't mind the "/." but are you sure there can be a race? The stat is supposed to wait AFAIK.

[wwwutz]

well I discovered twice something like an existing /pkg/bla-foo-1.0.02 pointing nowhere for a fraction of a second. maybe some automounter issue. Maybe the automounter adds the entry just before mounting. As said: rare. But seen quite often in the wild. Maybe due to umount /pkg/brave-browser-1.20.103-0 ;./tools/build.sh bravebla... repeating a lot in the dev cycle.

[thomas]

So you have stumbled over your own procedure. Hmm, what about being a coward, and add a short sleep after the umount ? :)

[wwwutz]

I see and recon the trailing smiley. calming down already.

[donald]

Ah, okay, perhaps the manual umount races with the mount. I'll test that.

Aynway, go ahead with the /. LGTM.

[donald]

Okay, I as confused. On one hand there is no race, on the other hand, stat /pkg/WHATEVER never triggers an automount. umount /pkg/PKG ; tools/build.sh should fail reliably. This only works in the initial run, because the code above touches /pkg/PKG if /package/pkg/PKG doesn't yet exist.