From debbugs-submit-bounces@debbugs.gnu.org Thu Apr 15 04:17:12 2021 Received: (at 47789) by debbugs.gnu.org; 15 Apr 2021 08:17:13 +0000 Received: from localhost ([127.0.0.1]:36448 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lWxBY-00059n-Og for submit@debbugs.gnu.org; Thu, 15 Apr 2021 04:17:12 -0400 Received: from laurent.telenet-ops.be ([195.130.137.89]:50690) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lWxBX-00059f-9P for 47789@debbugs.gnu.org; Thu, 15 Apr 2021 04:17:11 -0400 Received: from ptr-bvsjgyjmffd7q9timvx.18120a2.ip6.access.telenet.be ([IPv6:2a02:1811:8c09:9d00:aaf1:9810:a0b8:a55d]) by laurent.telenet-ops.be with bizsmtp id swH92400e0mfAB401wHAhJ; Thu, 15 Apr 2021 10:17:10 +0200 Message-ID: <352cdaa9d0506cec61f4b086e1fae290938558e0.camel@telenet.be> Subject: Re: [bug#47789] [PATCH 6/6] gnu: Add tla2tools. From: Maxime Devos To: Mike Gerwitz , 47789@debbugs.gnu.org Date: Thu, 15 Apr 2021 10:17:09 +0200 In-Reply-To: References: Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-kGKvU8JhUaBOO8a47/ZW" User-Agent: Evolution 3.34.2 MIME-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r21; t=1618474630; bh=dO0VoSXWuGVwZBaWIiiQTxoLzpO9iFpB3IC+HVsHXbg=; h=Subject:From:To:Date:In-Reply-To:References; b=JUEguZw3WVq/5s3VcJeiG0+pLI+Xx6rvNmM1ViVMjSpzyx045SKUVUnp1WZYJBtYr /r5uWNj39KlYXzixUtV+lbPKa6CFveGGCV3uTYQphUy8ruMzVNGe7OhTqce3xrYBVl SeH7e3oiaOHIHVNJhEtmIwhHbLH1xUuO/VwJWXGnsTfgPhysUhmOU98UvM2rJ5ulFE qhR2FwbyWFKh7F6y0c9R9b54qGsLxSG3pagGMPhk+y18aqHPYVGY3mjxwZfWCiaAa2 WRTOh3I+16rOkFVSMlyn7NqbGgTBT8Wb8H0/Z6LHX6Athms22VcbBS33LJ6jc/hqxu 1jm5m7cat7xfQ== X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 47789 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.7 (-) --=-kGKvU8JhUaBOO8a47/ZW Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable On Thu, 2021-04-15 at 00:27 -0400, Mike Gerwitz wrote: > + "#!" (which "sh") "\n" Most likely incorrect when cross-compiling, as noted in a previous patch. + "java -cp " java-cp " " class " \"$@\""))= )) Shouldn't this be "OPENJDK-11-FILENAME/bin/java ..."? Greetings, Maxime. --=-kGKvU8JhUaBOO8a47/ZW Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iI0EABYKADUWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYHf2hRccbWF4aW1lZGV2 b3NAdGVsZW5ldC5iZQAKCRBJ4+4iGRcl7jj7AQDRtOiSGeWzGCK1bA3NW9Pe549+ Tus5XKGeuv4/51QwyAD/d0/wqKQK2UErxvqLIo1bz5CcPveFoDTx1YNQ0JOBEw8= =rJiu -----END PGP SIGNATURE----- --=-kGKvU8JhUaBOO8a47/ZW--