From 81db3f1cfbe739a721e95626a07b655acfbbbb36 Mon Sep 17 00:00:00 2001 From: Sora Morimoto Date: Mon, 23 Dec 2024 16:48:37 +0900 Subject: [PATCH] _ Signed-off-by: Sora Morimoto --- .github/workflows/workflow.yml | 2 +- configure | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml index f51be1b4e..9c8145ceb 100644 --- a/.github/workflows/workflow.yml +++ b/.github/workflows/workflow.yml @@ -44,6 +44,6 @@ jobs: - run: opam install . --deps-only - - run: opam exec -- ./configure + - run: opam exec -- bash ./configure - run: opam exec -- make all diff --git a/configure b/configure index d0b23e3d8..c60c2aa0d 100755 --- a/configure +++ b/configure @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash # Adapted from the ocamlnet configure script.