diff options
Diffstat (limited to 'Demo/scripts/makedir.py')
| -rwxr-xr-x | Demo/scripts/makedir.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Demo/scripts/makedir.py b/Demo/scripts/makedir.py index 563c83fe4c..58efe0e0fb 100755 --- a/Demo/scripts/makedir.py +++ b/Demo/scripts/makedir.py @@ -1,4 +1,4 @@ -#! /usr/local/bin/python +#! /usr/bin/env python # Like mkdir, but also make intermediate directories if necessary. # It is not an error if the given directory already exists (as long |