diff options
author | Mark Allen <[email protected]> | 2017-02-21 13:19:05 -0600 |
---|---|---|
committer | Mark Allen <[email protected]> | 2017-02-21 13:19:05 -0600 |
commit | 1ad44e3c5f43bd9ed5516de58f0bb15d7c7da075 (patch) | |
tree | 9375703a6bd64cb71a23fd937235d346106bf49f | |
parent | 485323434eb3992dacb6442177a7d848b82af113 (diff) | |
download | kerl-1ad44e3c5f43bd9ed5516de58f0bb15d7c7da075.tar.gz kerl-1ad44e3c5f43bd9ed5516de58f0bb15d7c7da075.tar.bz2 kerl-1ad44e3c5f43bd9ed5516de58f0bb15d7c7da075.zip |
Use string not-equal instead of integer not-equalbugfix2
-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" |