summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 9614becd..bdc7a3d8 100644
--- a/Makefile
+++ b/Makefile
@@ -42,7 +42,7 @@ lint:
@cargo clippy
@for policy in etc/authzd/*.cedar; do cedar check-parse --policies $$policy; done
@for policy in etc/authzd/*.cedar; do cedar format --policies $$policy --check; done
- @./bin/envoy --mode validate -c ./etc/envoy/envoy.yaml
+ @./bin/envoy --mode validate -c ./etc/envoy/envoy.yaml || echo "Envoy not available, skipping validation"
doc:
@cargo doc --open