#!/bin/bash
# Wrapper for profile.sh
exec "$(dirname "$0")/profiling/profile.sh" "$@"