diff --git a/trunk/scripts/run.sh b/trunk/scripts/run.sh index 35c03c706..7cc9c32e9 100755 --- a/trunk/scripts/run.sh +++ b/trunk/scripts/run.sh @@ -32,8 +32,8 @@ cat<