Skip to content

Commit

Permalink
Small modification to python wrapper script
Browse files Browse the repository at this point in the history
  • Loading branch information
markgw committed Jul 6, 2020
1 parent 049f3a3 commit 26fbcf9
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion bin/python
Original file line number Diff line number Diff line change
Expand Up @@ -76,7 +76,9 @@ if [ -n "$PROFILE" ]; then
# Allows you to profile any script by just putting:
# PROFILE=1
# in front of the command
profile_out=$(readlink -m $DIR/../log/profile)
profile_out_dir=$(readlink -m $DIR/../log)
mkdir -p $profile_out_dir
profile_out=$profile_out_dir/profile
echo "Profiling, output to $profile_out" >&2
if [ "$1" == "-m" ]; then
shift
Expand Down

0 comments on commit 26fbcf9

Please sign in to comment.