From: Eric Biggers <ebiggers@xxxxxxxxxx>
If an optional repository is enabled and then later disabled, require
that the corresponding directory manually be removed; otherwise, it
would still be included in the build.
Signed-off-by: Eric Biggers <ebiggers@xxxxxxxxxx>
---
get-all | 9 +++++++++
1 file changed, 9 insertions(+)
diff --git a/get-all b/get-all
index a0f0d05..fa27229 100755
--- a/get-all
+++ b/get-all
@@ -81,6 +81,15 @@ setup_repo()
fi
fi
+ if [ -z "$repo_url" ] && ! $required; then
+ cat 1>&2 <<EOF
+ERROR: $repo_url_variable has been removed from the config file,
+but the $repo_name directory still exists. Remove it if you don't
+want it to be built.
+EOF
+ exit 1
+ fi
+
# If a specific commit was specified, check it out.
if [ -n "$commit" ]; then
( cd "$repo_name";
--
2.13.0.219.gdb65acc882-goog
--
To unsubscribe from this list: send the line "unsubscribe fstests" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
