# HG changeset patch
# User Georges Racinet <georges.racinet@octobus.net>
# Date 1642339692 -3600
#      Sun Jan 16 14:28:12 2022 +0100
# Node ID 669e75000024f27fb2bd9cfc2b6a67c331392beb
# Parent  d6f451b69edf13f5644e2ac043728730ad4bdd05
launch: removed build-related booleans

This utility used to be about Docker builds in a previous
incarnation (and its name was `build-launch`), but that was
long ago.

diff --git a/launch b/launch
--- a/launch
+++ b/launch
@@ -130,8 +130,6 @@
     log_vol = expand_join(volumes_dir, parsed_args.volume_logs)
     src_vol = os.path.expanduser(parsed_args.volume_src)
 
-    do_build_dev = do_build_base = False
-
     image_tag = parsed_args.image_tag
     run_image_tag = image_tag