From 57bd4312cea6ce1d5b9c23e3e8307f1bc42852cb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Beno=C3=AEt=2ES?= Date: Thu, 11 Jan 2018 14:46:46 +0100 Subject: [PATCH] Breakline indentation --- evocheck.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/evocheck.sh b/evocheck.sh index 46982cb..53a70a4 100755 --- a/evocheck.sh +++ b/evocheck.sh @@ -720,7 +720,7 @@ if [ -e /etc/debian_version ]; then grep '^flags' /proc/cpuinfo | grep -qEw '(kaiser|pti)' || echo 'IS_MELTDOWN FAILED!' elif is_debianversion jessie; then dmesg | grep -Eq 'Kernel/User page tables isolation: enabled|Kernel page table isolation enabled' \ - || echo 'IS_MELTDOWN FAILED!' + || echo 'IS_MELTDOWN FAILED!' fi fi fi