# HG changeset patch # User Andre Heinecke # Date 1361353097 -3600 # Node ID 1f33012cc02a8dcf3b1696634f52102b0843e163 # Parent 96d330bc40d0a93466a6097022ab551e98eb2406 Add skip-dgm option to example run script diff -r 96d330bc40d0 -r 1f33012cc02a flys-backend/contrib/run_geo.sh --- a/flys-backend/contrib/run_geo.sh Tue Feb 19 16:57:25 2013 +0100 +++ b/flys-backend/contrib/run_geo.sh Wed Feb 20 10:38:17 2013 +0100 @@ -25,7 +25,7 @@ SKIP_GAUGE_LOCATION=0 SKIP_CATCHMENTS=0 SKIP_UESG=0 - +SKIP_DGM=0 DIR=`dirname $0` DIR=`readlink -f "$DIR"` @@ -49,4 +49,5 @@ --skip_catchments $SKIP_CATCHMENTS \ --skip_uesgs $SKIP_UESG \ --skip_hws_lines $SKIP_HWS_LINES \ - --skip_hws_points $SKIP_HWS_POINTS + --skip_hws_points $SKIP_HWS_POINTS \ + --skip_dgm $SKIP_DGM