diff options
author | sanmiguel <[email protected]> | 2017-02-22 11:46:13 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2017-02-22 11:46:13 +0100 |
commit | 825632024b6bcbe2ee08f3c7a23653a8cd859e92 (patch) | |
tree | 9375703a6bd64cb71a23fd937235d346106bf49f /kerl | |
parent | 485323434eb3992dacb6442177a7d848b82af113 (diff) | |
parent | 1ad44e3c5f43bd9ed5516de58f0bb15d7c7da075 (diff) | |
download | kerl-825632024b6bcbe2ee08f3c7a23653a8cd859e92.tar.gz kerl-825632024b6bcbe2ee08f3c7a23653a8cd859e92.tar.bz2 kerl-825632024b6bcbe2ee08f3c7a23653a8cd859e92.zip |
Merge pull request #191 from kerl/bugfix2
Use string not-equal instead of integer not-equal
Diffstat (limited to 'kerl')
-rwxr-xr-x | kerl | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -589,7 +589,7 @@ _do_build() if [ -e "./$KERL_CONFIG_STORAGE_FILENAME.md5" ]; then # Compare our current options to the saved ones OLD_SUM=$(read -r < "./$KERL_CONFIG_STORAGE_FILENAME.md5") - if [ "$SUM" -ne "$OLD_SUM" ]; then + if [ "$SUM" != "$OLD_SUM" ]; then echo "Configure options have changed. Reconfiguring..." rm -f configure mv "$TMPOPT" "./$KERL_CONFIG_STORAGE_FILENAME" |