diff options
Diffstat (limited to 'bin/check-vanilla')
| -rwxr-xr-x | bin/check-vanilla | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/bin/check-vanilla b/bin/check-vanilla deleted file mode 100755 index 6b4bdd4..0000000 --- a/bin/check-vanilla +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/env bash -#Check if the kernel name has -rt in it (we're running Realtime Kernel) - -if [[ $(uname -r) == *-rt* ]];then - echo "Failure: Running $(uname -r)." - exit 1 -else - echo "Success: Running $(uname -r)." - exit 0 -fi - |