From 6315ff19c3e5c5fc584c246db7b74492a9bf4368 Mon Sep 17 00:00:00 2001 From: Vincent Vanlaer Date: Thu, 23 Jan 2025 15:25:34 +0100 Subject: [PATCH] build: switch to bash where non-sh features are used --- star/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/star/Makefile b/star/Makefile index 685a514c6..5e83dcda2 100644 --- a/star/Makefile +++ b/star/Makefile @@ -212,7 +212,7 @@ SRCS_CHECK = test/src/run.f90 test/src/run_star_extras.f90 INTERNAL_DEPENDS_ON := const utils star_data ionization atm turb auto_diff BINTYPE := static-lib INCLUDE_DIRS := -Iprivate -Ipublic -Idefaults -Ijob -CHECK_DIFF_PROG := sh -c "diff -b <(grep 'stop because star_age >= max_age' \$$1) \$$2" diff +CHECK_DIFF_PROG := bash -c "diff -b <(grep 'stop because star_age >= max_age' \$$1) \$$2" diff # Testing