From 48c0cbbf126bde8795d9d24d5f4f03b18811d6a7 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 20 Mar 2012 14:04:39 +0000 Subject: [PATCH] Use env, not python, for #! in prism-auto. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4904 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/scripts/prism-auto | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto index a0a92c19..5fb9b9ba 100755 --- a/prism/etc/scripts/prism-auto +++ b/prism/etc/scripts/prism-auto @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/env python # The prism-auto script automatically executes PRISM on one or more # models/properties, for the purposes of benchmarking or testing.