From c8d653351acb802c8febd5a125558e4840d8980f Mon Sep 17 00:00:00 2001 From: Eliah Kagan Date: Mon, 4 Dec 2023 20:34:51 -0500 Subject: [PATCH] Make it a bash script to fix job control on CI Shell job control is mainly for interactive use, and shells vary in the situations where it is supported. In the noninteractive session on CI, the "set -m" command in the run-experiment script failed on Ubuntu, where /bin/sh is dash, but succeeded on macOS, where /bin/sh is (I think) bash 3.2. This change makes it work on both. Besides its somewhat unusual use of job control, this script otherwise currently relies on no "bash-isms". (SSHing in for tmate was never affected by this, but the main point of CI is noninteractive use, so I want that to work on both systems.) --- run-experiment | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/run-experiment b/run-experiment index 863337e..523d0e2 100755 --- a/run-experiment +++ b/run-experiment @@ -1,4 +1,5 @@ -#!/bin/sh +#!/usr/bin/env bash + # SPDX-License-Identifier: 0BSD # This script builds "sig" if necessary, runs the experiment, and cleans up.