diff --git a/trunk/scripts/run.sh b/trunk/scripts/run.sh index 6f7baeb13..35c03c706 100755 --- a/trunk/scripts/run.sh +++ b/trunk/scripts/run.sh @@ -31,5 +31,9 @@ cat<