diff options
author | Pierre Fenoll <[email protected]> | 2017-11-13 11:47:48 +0100 |
---|---|---|
committer | Pierre Fenoll <[email protected]> | 2017-11-25 15:07:19 +0100 |
commit | 78985ded0672d686c2868f13137eea7fdf5f7e10 (patch) | |
tree | 17a18e66c70b437664292199ac80b8c3d75c4542 /kerl | |
parent | 8771e189a9a6b5ccbaf6f1f15031e3339b70e5a2 (diff) | |
download | kerl-78985ded0672d686c2868f13137eea7fdf5f7e10.tar.gz kerl-78985ded0672d686c2868f13137eea7fdf5f7e10.tar.bz2 kerl-78985ded0672d686c2868f13137eea7fdf5f7e10.zip |
circleci: build R15B03 with debian 8
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 |