gc.sh: suppress darcs optimize output
commit68590f39532f414885584fd7079a8582ef689bd8
authorKyle J. McKay <mackyle@gmail.com>
Sat, 23 Jul 2016 18:14:49 +0000 (23 11:14 -0700)
committerKyle J. McKay <mackyle@gmail.com>
Sat, 23 Jul 2016 18:14:49 +0000 (23 11:14 -0700)
tree0f3cc7b7a0ee48c49964edb31ae9ea14990e36f8
parent90968bb6df259aa37b5342e6c41d6d83d9591852
gc.sh: suppress darcs optimize output

Without show_progress, send darcs optimize output to /dev/null.

Also avoid dying on a darcs optimize failure.

Signed-off-by: Kyle J. McKay <mackyle@gmail.com>
jobd/gc.sh