From 4b5fb15579520cdf74fffdcdf27242d383ad9d9c Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Fri, 5 Jun 2026 09:18:05 +0200 Subject: [PATCH] use env for bash --- libs/fst/00_UPDATE.sh | 2 +- libs/minisat/00_UPDATE.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/libs/fst/00_UPDATE.sh b/libs/fst/00_UPDATE.sh index 91dcd84ff..4fa604b9a 100755 --- a/libs/fst/00_UPDATE.sh +++ b/libs/fst/00_UPDATE.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash mv config.h config.h.bak rm -f *.txt *.cc *.h diff --git a/libs/minisat/00_UPDATE.sh b/libs/minisat/00_UPDATE.sh index 6f3eadfe7..44b652f84 100755 --- a/libs/minisat/00_UPDATE.sh +++ b/libs/minisat/00_UPDATE.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash rm -f LICENSE *.cc *.h git clone --depth 1 https://github.com/niklasso/minisat minisat_upstream