diff options
Diffstat (limited to 'bin/check-rt')
| -rwxr-xr-x | bin/check-rt | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/bin/check-rt b/bin/check-rt deleted file mode 100755 index 5dc04cd..0000000 --- a/bin/check-rt +++ /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 "Success: Running $(uname -r)." - exit 0 -else - echo "Failure: Running $(uname -r)." - exit 1 -fi - |