diff options
Diffstat (limited to '%HOME%')
| -rw-r--r-- | %HOME%/.bashrc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/%HOME%/.bashrc b/%HOME%/.bashrc index 0cae950..ee94f34 100644 --- a/%HOME%/.bashrc +++ b/%HOME%/.bashrc @@ -54,6 +54,7 @@ os_is_cygwin && set -o igncr os_is_cygwin || complete -r export SHELLOPTS +export BASHOPTS if os_is_cygwin; then alias mingcc32='i686-w64-mingw32-gcc' |