#!/bin/bash cat > ${WORKSPACE}/set_log_counters.sh <