diff options
author | Ondrej Lhotak <olhotak@uwaterloo.ca> | 2015-01-08 10:00:51 +0100 |
---|---|---|
committer | Ondrej Lhotak <olhotak@uwaterloo.ca> | 2015-01-08 10:08:24 +0100 |
commit | 0b8f4eabe99d5a3df4907ae6366b529c446a408a (patch) | |
tree | 2b5dc3603ac3b3f6d2d50fd78d3d7f02e6b0d2ca /bin/dotc | |
parent | b25325233cbc88707f8757de5e4c028b1cf314b3 (diff) | |
download | dotty-0b8f4eabe99d5a3df4907ae6366b529c446a408a.tar.gz dotty-0b8f4eabe99d5a3df4907ae6366b529c446a408a.tar.bz2 dotty-0b8f4eabe99d5a3df4907ae6366b529c446a408a.zip |
unset CDPATH in bin/dotc to make ( cd && pwd ) work correctly
When CDPATH is set, cd echoes the directory that it is switching to.
The ( cd && pwd ) pattern then prints the directory twice, causing
a mangled path.
See https://bosker.wordpress.com/2012/02/12/bash-scripters-beware-of-the-cdpath/
Diffstat (limited to 'bin/dotc')
-rwxr-xr-x | bin/dotc | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -17,7 +17,7 @@ programName=$(basename "$0") declare -a java_args scala_args residual_args -unset verbose quiet cygwin toolcp colors saved_stty +unset verbose quiet cygwin toolcp colors saved_stty CDPATH CompilerMain=dotty.tools.dotc.Main |