Merge 67970df into 88ce986

uber · Apr 27, 2020 · 9683252 · 9683252
2 parents 88ce986 + 67970df
commit 9683252
Show file tree

Hide file tree

Showing 71 changed files with 35,283 additions and 126 deletions.
diff --git a/Makefile b/Makefile
@@ -122,6 +122,7 @@ generate:
 check-generate:
 	@rm -f git-status.log
 	rm -rf ./examples/example-gateway/build
+	rm -rf ./examples/selective-gateway/build
 	make generate
 	git status --porcelain > git-status.log
 	@[ ! -s git-status.log ] || ( cat git-status.log ; git --no-pager diff ; [ ! -s git-status.log ] );