summaryrefslogtreecommitdiffstats
path: root/scripts
diff options
context:
space:
mode:
authorNeels Hofmeyr <neels@hofmeyr.de>2018-04-09 14:47:28 +0200
committerNeels Hofmeyr <neels@hofmeyr.de>2018-04-09 14:50:37 +0200
commit91404470d6a0eed17168c61c5402b16f3e0540e9 (patch)
treed5663949b6a9a402876bd473e126dd2fca91f20a /scripts
parenta73b13b80ff4f2f09560b04267b38bc4693b8212 (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')
-rwxr-xr-xscripts/osmo-clean-workspace.sh3
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.