From 74c8358a9939f9b1bcc3bb43f936dd3a74421d8b Mon Sep 17 00:00:00 2001 From: Gerhard Hoffmann Date: Thu, 2 Jun 2022 22:26:42 +0200 Subject: [PATCH] included check of sanity of repository --- update_psa | 1 + 1 file changed, 1 insertion(+) 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