diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/check-rt | 11 | ||||
| -rwxr-xr-x | bin/check-vanilla | 11 |
2 files changed, 22 insertions, 0 deletions
diff --git a/bin/check-rt b/bin/check-rt new file mode 100755 index 0000000..5dc04cd --- /dev/null +++ b/bin/check-rt @@ -0,0 +1,11 @@ +#!/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 + diff --git a/bin/check-vanilla b/bin/check-vanilla new file mode 100755 index 0000000..6b4bdd4 --- /dev/null +++ b/bin/check-vanilla @@ -0,0 +1,11 @@ +#!/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 + |