1// Checkpointing GC script 2sh_binary { 3 name: "checkpoint_gc", 4 src: "checkpoint_gc.sh", 5 vendor: true, 6} 7