diff options
author | Neels Hofmeyr <neels@hofmeyr.de> | 2018-04-09 14:47:28 +0200 |
---|---|---|
committer | Neels Hofmeyr <neels@hofmeyr.de> | 2018-04-09 14:50:37 +0200 |
commit | 91404470d6a0eed17168c61c5402b16f3e0540e9 (patch) | |
tree | d5663949b6a9a402876bd473e126dd2fca91f20a /scripts/osmo-clean-workspace.sh | |
parent | a73b13b80ff4f2f09560b04267b38bc4693b8212 (diff) |
osmo-clean-workspace.sh: cosmetic: no need to clean -e deps
git clean always excludes git clone subdirs; furthermore, even if I supply a
dir as -e, the contents of that dir still get cleaned out. So it is useless to
pass -e on the commandline. Drop it.
Change-Id: I2b59cc9c9adf88a2663469b22cfeffbd66b5bf2e
Diffstat (limited to 'scripts/osmo-clean-workspace.sh')
-rwxr-xr-x | scripts/osmo-clean-workspace.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/osmo-clean-workspace.sh b/scripts/osmo-clean-workspace.sh index 4b77066..fcbfea8 100755 --- a/scripts/osmo-clean-workspace.sh +++ b/scripts/osmo-clean-workspace.sh @@ -25,7 +25,8 @@ chmod -R +w . git checkout -f HEAD # wipe all unversioned leftovers, except deps gits. -git clean -dxf -e "$deps" -e "layer1-headers" +# Git automatically excludes subdirs that are git clones. +git clean -dxf # leave the deps checkouts around, to not clone entire git history every time, # but clean each git of build artifacts. |