gc.sh: add Git 1.8.5 and later gc.pid compatibility
commit9f2687238e68cb2dc0d7b5d306f71f47f8c775a7
authorKyle J. McKay <mackyle@gmail.com>
Thu, 30 Jan 2014 13:02:28 +0000 (30 05:02 -0800)
committerKyle J. McKay <mackyle@gmail.com>
Thu, 30 Jan 2014 13:02:28 +0000 (30 05:02 -0800)
tree9fe429752d543b8d007dec7f7b56d8596c376901
parentc7070c506f42e59cf71bb96fc85517ac5406ded5
gc.sh: add Git 1.8.5 and later gc.pid compatibility

Starting with Git version 1.8.5, git gc will exit early without
doing any work if it detects another gc already running.

Be compatible with that check by checking for, creating and removing
the same gc.pid file so that an automated jobd gc.sh run will
inhibit a command line git gc and vice versa.
jobd/gc.sh