From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 28 07:28:46 2023 Received: (at 59487-close) by debbugs.gnu.org; 28 Jan 2023 12:28:46 +0000 Received: from localhost ([127.0.0.1]:39778 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pLkK6-00013a-A3 for submit@debbugs.gnu.org; Sat, 28 Jan 2023 07:28:46 -0500 Received: from lepiller.eu ([89.234.186.109]:51574) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pLkK5-00013P-0I; Sat, 28 Jan 2023 07:28:45 -0500 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id 48e8ae94; Sat, 28 Jan 2023 12:28:40 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:cc:subject:message-id:in-reply-to:references:mime-version :content-type:content-transfer-encoding; s=dkim; bh=zlgMyJ6EKtIr LBtJDa/Xz2c7IYY+wjqGzyzZCdux144=; b=PFS8QDlZRPOVFa7LdM9B8XCcCaTT oVkrDlqcmvxcfEL9dG11aJFKHGiUxC1vVGW3Xsoqd73fqhk1AW5YkrZksLO5Q2iH Q5+QKVbYnThe7ao/iE+AY+e8OAQIHmZ8b4v5B+Yt4ExRwP68fJG0HJP1ZdZzQEj2 Gw2/s8OBfPa23v4zn4pzuZ1jIHWlV3+vZJz8nN9GC2eWsh47FxZyGCswJBmYWPO8 Ag3tJoD2pB3PVi1wDMWi8/S1tVpZ0zodk9pBuHaa2ke8AHg3WzREneO2AmGjOtHM iLb4VUr0oMEC35sRAKNpRBHqvQ4xkEPKQrxIvs6yLY38BFgJr/E2olk60A== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 14121f10 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Sat, 28 Jan 2023 12:28:40 +0000 (UTC) Date: Sat, 28 Jan 2023 13:28:39 +0100 From: Julien Lepiller To: raingloom Subject: Re: [bug#59980] [PATCH v2 1/2] build-system/dune: Automatically deduce test-target in most cases. Message-ID: <20230128132839.49fab7f0@sybil.lepiller.eu> In-Reply-To: <20221212000747.24632-1-raingloom@riseup.net> References: <20221212000747.24632-1-raingloom@riseup.net> X-Mailer: Claws Mail 4.1.1 (GTK 3.24.30; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 59487-close Cc: 59487-close@debbugs.gnu.org, 59980@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Closing since a similar patch was pushed already. Thanks!