anyone knows how specify -u together with /usr/bin/env ?
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 19 Sep 2011 13:39:54 +0000 (15:39 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 19 Sep 2011 13:39:54 +0000 (15:39 +0200)
system/LocalSubstrate.inria.py

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