From b1f993a6c9d5ec9ac2a09ef5557ab46ce162c006 Mon Sep 17 00:00:00 2001 From: Cas Cremers Date: Fri, 12 Nov 2010 14:20:53 +0100 Subject: [PATCH] BUGFIX: Use /usr/bin/env to locate the correct Python interpreter. --- gui/progressbarDummy.py | 2 +- gui/scyther-gui.py | 2 +- gui/scyther.py | 2 +- gui/test-delta.py | 2 +- gui/test-mpa.py | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) diff --git a/gui/progressbarDummy.py b/gui/progressbarDummy.py index a77c54c..29ec2b3 100644 --- a/gui/progressbarDummy.py +++ b/gui/progressbarDummy.py @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/env python """ Scyther : An automatic verifier for security protocols. Copyright (C) 2007-2009 Cas Cremers diff --git a/gui/scyther-gui.py b/gui/scyther-gui.py index 42da9c8..ac3a55c 100755 --- a/gui/scyther-gui.py +++ b/gui/scyther-gui.py @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/env python """ Scyther : An automatic verifier for security protocols. Copyright (C) 2007 Cas Cremers diff --git a/gui/scyther.py b/gui/scyther.py index ba456e9..736bd2c 100755 --- a/gui/scyther.py +++ b/gui/scyther.py @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/env python """ Scyther : An automatic verifier for security protocols. Copyright (C) 2007 Cas Cremers diff --git a/gui/test-delta.py b/gui/test-delta.py index d2cb25c..67a0b3f 100755 --- a/gui/test-delta.py +++ b/gui/test-delta.py @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/env python """ Scyther : An automatic verifier for security protocols. Copyright (C) 2007 Cas Cremers diff --git a/gui/test-mpa.py b/gui/test-mpa.py index fbbfce3..01a58cf 100755 --- a/gui/test-mpa.py +++ b/gui/test-mpa.py @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/env python """ Scyther : An automatic verifier for security protocols. Copyright (C) 2007 Cas Cremers