<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">
<html lang="en">
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
<title>
GitLab
</title>
<style>img {
max-width: 100%; height: auto;
}
</style>
</head>
<body>
<div class="content">
<div>
<p dir="auto">It the only script affected for</p>
<pre class="code highlight js-syntax-highlight plaintext" lang="plaintext" v-pre="true"><code><span id="LC1" class="line" lang="plaintext">./configure --enable-shared --with-included-libtasn1 --without-p11-kit --disable-guile</span>
<span id="LC2" class="line" lang="plaintext">make</span></code></pre>
<p dir="auto">I didn't try a 'make check' yet.</p>
<p dir="auto">The configure script falls back to bash or zsh when detecting a non-POSIX shell, but gen-mech-list.sh doesn't. It uses /bin/sh which I can't link to any other shell due to missing admin rights.</p>
<p dir="auto">Of course I can use bash for all manually executed scripts (e.g. as in <code>bash ./bootstrap</code>), but not for automated scripting. At least not without some hacks.</p>
<p dir="auto">While `cmd` works on non-POSIX <em>and</em> POSIX shells, $(cmd) is POSIX-only as you said. I personally like the compatible form, but that's a matter of taste, I guess.</p>
</div>
</div>
<div class="footer" style="margin-top: 10px;">
<p style="font-size: small; color: #777777;">
—
<br>
Reply to this email directly or <a href="https://gitlab.com/gnutls/gnutls/merge_requests/771#note_107476070">view it on GitLab</a>.
<br>
You're receiving this email because of your account on gitlab.com.
If you'd like to receive fewer emails, you can
<a href="https://gitlab.com/sent_notifications/a69100f1d9dc5f4708ffaa3eaeeaad7d/unsubscribe">unsubscribe</a>
from this thread or
adjust your notification settings.
<script type="application/ld+json">{"@context":"http://schema.org","@type":"EmailMessage","action":{"@type":"ViewAction","name":"View Merge request","url":"https://gitlab.com/gnutls/gnutls/merge_requests/771#note_107476070"}}</script>
</p>
</div>
</body>
</html>