#! /bin/sh -ex

./update PATHS
./report >PATHS.new
if diff -u PATHS.new PATHS; then rm PATHS.new
else mv PATHS.new PATHS; fi