diff --git a/update_psa b/update_psa
index f132d7e..5e6382d 100755
--- a/update_psa
+++ b/update_psa
@@ -207,6 +207,7 @@ if ! [ -z "$config_filename" ]; then
     if read_config "$config_filename" ; then
         # set -x
         if clone_customer_repository $customer_repository_path ; then 
+            check_sanity_of_repository
             update 
         fi
     fi