From 63f5241b737c37a17b77c95753edc404c76accf8 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 14 Jul 2015 11:42:11 +0000 Subject: [PATCH] Make linux prism script run as bash, not sh (because -javamaxmem handling breaks on e.g. dash). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10296 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/bin/prism.linux | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/bin/prism.linux b/prism/src/bin/prism.linux index 7f10c165..1dcb102d 100755 --- a/prism/src/bin/prism.linux +++ b/prism/src/bin/prism.linux @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # Startup script for PRISM (Linux/Solaris)