From 26fdbae5f7269c06f95d3d087e657bb192b909d1 Mon Sep 17 00:00:00 2001 From: Maksim Denisov Date: Fri, 14 Jun 2024 10:23:41 +0200 Subject: Use ServeApi during bootstrap ...with a default implementation. Although it is not used directly, it will be needed for instantiation of std::optional. --- bin/bootstrap.py | 2 -- 1 file changed, 2 deletions(-) (limited to 'bin/bootstrap.py') diff --git a/bin/bootstrap.py b/bin/bootstrap.py index 3f6e72c8..6f7dc9b0 100755 --- a/bin/bootstrap.py +++ b/bin/bootstrap.py @@ -415,8 +415,6 @@ def bootstrap() -> None: dirs.remove('test') if 'execution_api' in dirs: dirs.remove('execution_api') - if 'serve_api' in dirs: - dirs.remove('serve_api') if 'other_tools' in dirs: dirs.remove('other_tools') if 'archive' in dirs: -- cgit v1.2.3