From 80c5c2eb3e173f533c7999b364c1a469a3e7c17e Mon Sep 17 00:00:00 2001
From: Alexander Yastrebov <yastrebov.alex@gmail.com>
Date: Fri, 12 Jan 2024 08:25:43 +0100
Subject: Use bash in prepare scripts (#339)

Prepare scripts that use `#!/bin/sh` and
`source "$HOME/.sdkman/bin/sdkman-init.sh"`
fail on systems where `sh` is not `bash`,
e.g. on Ubuntu it is `dash` which has not `source`.
---
 prepare_roman-r-m.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'prepare_roman-r-m.sh')

diff --git a/prepare_roman-r-m.sh b/prepare_roman-r-m.sh
index 6a33e2b..f83a3ff 100755
--- a/prepare_roman-r-m.sh
+++ b/prepare_roman-r-m.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 #
 #  Copyright 2023 The original authors
 #
@@ -16,4 +16,4 @@
 #
 
 source "$HOME/.sdkman/bin/sdkman-init.sh"
-sdk use java 21.0.1-graal 1>&2
\ No newline at end of file
+sdk use java 21.0.1-graal 1>&2
-- 
cgit v1.2.3