Tamarin/lib/buildtools/tamarin_info

#!/usr/bin/env bash

if [ -z "$@" ]; then
  while read str; do
    tamarin_log INFO "${str}"
  done
else
  tamarin_log INFO "$@"
fi