#! /bin/sh -ex

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