On 24/05/2017 14:54, Pavel Fedin wrote:
Hello! I'd like to report a strange bug in 64-bit bash. The following script:---- cut --- #/bin/bash -e DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" echo Works: $DIR ---- cut --- Simply exits and produces no output (never reaches echo). The same script works perfectly on 32 bits. Versions are the same: --- cut ---
It works fine for me. $ ./prova.bash Works: /tmp $ uname -svr CYGWIN_NT-6.1 2.8.0(0.309/5/3) 2017-04-01 20:47 -- Problem reports: http://cygwin.com/problems.html FAQ: http://cygwin.com/faq/ Documentation: http://cygwin.com/docs.html Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple
