message: remove workarounds
diff: FILES="usr/tests/hello usr/tests/hellof usr/tests/hello++ usr/tests/thr_hello usr/tests/pi usr/benchmarks/stream usr/benchmarks/basic"
  PROXY=/opt/hermit/bin/proxy
  -BRANCH="production"
  -echo $TRAVIS_BRANCH
  -echo $BRANCH
  -
  -if [ "$TRAVIS_BRANCH" == "$BRANCH" ]; then
  - echo "No tests on production branch"
  -else
  for f in $FILES; do echo "check $f..."; $PROXY $f || exit 1; done
  # test echo server at port 8000
  @@ -23,4 +16,3 @@ else
  # kill server
  #kill $!
  -fi
  