From a0f45900be20acaff7ae7fe1ff6894542c2244ce Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Tue, 28 Jul 2015 12:40:59 +0000
Subject: [PATCH] prism-auto: use -u switch to set stdout/stderr to unbuffered

As a side-effect, this sets stdout/stderr to 'binary', which might
make a difference on Windows...


git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10442 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 abdeb030..1ab47718 100755
--- a/prism/etc/scripts/prism-auto
+++ b/prism/etc/scripts/prism-auto
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python -u
 
 # The prism-auto script automatically executes PRISM on one or more
 # models/properties, for the purposes of benchmarking or testing.