Commit 07e18072 authored by Wei Tang's avatar Wei Tang
Browse files

Use /usr/bin/env to avoid errors on non-Debian systems

parent f2f8c00f
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment