diff options
| author | Paul Scott <paul.scott@kau.se> | 2020-11-27 15:00:51 +0000 |
|---|---|---|
| committer | Paul Scott <paul.scott@kau.se> | 2020-11-27 15:00:51 +0000 |
| commit | 619ad1a1748aff40942e32f6395ae4be9c1ffb13 (patch) | |
| tree | 1485c468990e45e60e955975e18b0122f80e73b3 /scripts | |
| parent | 87e9f6e16419e598957c1e9f2466f9f7241f18db (diff) | |
| parent | 5cf916672ff75a9d2ba9f7b37fc1508e38bac8df (diff) | |
Merge branch 'master' of git.swamid.se:swamid-metadata
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/update-and-validate.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/update-and-validate.sh b/scripts/update-and-validate.sh index 08bbf088..9b1eca3e 100755 --- a/scripts/update-and-validate.sh +++ b/scripts/update-and-validate.sh @@ -3,9 +3,9 @@ update() { - echo "git pull" - git pull || return $? - echo +# echo "git pull" + git pull -q || return $? +# echo #echo "make aggregate" #make aggregate || return $? |