diff options
author | Mark Allen <[email protected]> | 2017-11-25 22:43:38 -0600 |
---|---|---|
committer | GitHub <[email protected]> | 2017-11-25 22:43:38 -0600 |
commit | 52486335cd02b242caafd2fa098f134fb0073cf3 (patch) | |
tree | 17a18e66c70b437664292199ac80b8c3d75c4542 /kerl | |
parent | 8771e189a9a6b5ccbaf6f1f15031e3339b70e5a2 (diff) | |
parent | 78985ded0672d686c2868f13137eea7fdf5f7e10 (diff) | |
download | kerl-52486335cd02b242caafd2fa098f134fb0073cf3.tar.gz kerl-52486335cd02b242caafd2fa098f134fb0073cf3.tar.bz2 kerl-52486335cd02b242caafd2fa098f134fb0073cf3.zip |
Merge pull request #246 from fenollp/circleci
circleci: add another CI provider for R15 builds
Diffstat (limited to 'kerl')
-rwxr-xr-x | kerl | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -898,7 +898,7 @@ _KERL_ACTIVE_DIR="$absdir" export _KERL_ACTIVE_DIR # https://twitter.com/mononcqc/status/877544929496629248 export _KERL_SAVED_ERL_AFLAGS=" \$ERL_AFLAGS" -kernel_history=\$(echo "\$ERL_AFLAGS" | grep "kernel shell_history") +kernel_history=\$(echo "\$ERL_AFLAGS" | grep 'kernel shell_history' || true) if [ -z "\$kernel_history" ]; then export ERL_AFLAGS="-kernel shell_history enabled \$ERL_AFLAGS" fi |