From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Mon, 19 Sep 2011 13:39:54 +0000 (+0200)
Subject: anyone knows how specify -u together with /usr/bin/env ?
X-Git-Tag: tests-5.0-29~40
X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=72e5ad0cfd5deb16a2e16c0e880af2ae68f1c53e;p=tests.git

anyone knows how specify -u together with /usr/bin/env ?
---

diff --git a/system/LocalSubstrate.inria.py b/system/LocalSubstrate.inria.py
index 836d1d1..4e67e54 100755
--- a/system/LocalSubstrate.inria.py
+++ b/system/LocalSubstrate.inria.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/python -u
 # Thierry Parmentelat <thierry.parmentelat@inria.fr>
 # Copyright (C) 2010 INRIA 
 #