#!/usr/bin/env bash

output_file=$1
shift
execfile=$(type -P $1)
python -c "import cProfile as profile, sys
sys.argv=['${execfile}'] + sys.argv[1:]
profile.run('execfile(\"${execfile}\")', '${output_file}')" "$@"