!=

2019-10-19 20:17:51 +00:00
parent a45ff59376
commit 0010fcde7e
1 changed files with 1 additions and 1 deletions
@@ -7,7 +7,7 @@ apt-get dist-upgrade --yes

 NEW="$(ls -1 /boot)"

-if [ "$CURRENT" -ne "$NEW" ]; then
+if [ "$CURRENT" != "$NEW" ]; then
   echo "It looks like your kernel has been upgraded."
   echo "You should reboot and restart the build process."
   exit