diff options
Diffstat (limited to 'scripts/osmo-deps.sh')
-rwxr-xr-x | scripts/osmo-deps.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/osmo-deps.sh b/scripts/osmo-deps.sh index 86da9a6..c256a6a 100755 --- a/scripts/osmo-deps.sh +++ b/scripts/osmo-deps.sh @@ -8,5 +8,11 @@ fi cd $1 git fetch origin + +# Cleanup should already have happened during a global osmo-clean-workspace.sh, +# but in case the caller did not (want to) call that, let's also do cleanup in +# the dep subdir separately: +osmo-clean-workspace.sh + git reset --hard origin/master git rev-parse HEAD |