chiark - git - mdw - dvddb/blob - cycle

   1 #! /bin/sh -ex
   2
   3 ./update PATHS
   4 ./report >PATHS.new
   5 if diff -u PATHS.new PATHS; then rm PATHS.new
   6 else mv PATHS.new PATHS; fi