diff options
Diffstat (limited to 'experiment/litmus_util.py')
| -rw-r--r-- | experiment/litmus_util.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/experiment/litmus_util.py b/experiment/litmus_util.py index 114f4c9..cde0bca 100644 --- a/experiment/litmus_util.py +++ b/experiment/litmus_util.py | |||
| @@ -39,6 +39,9 @@ def switch_scheduler(switch_to_in): | |||
| 39 | if switch_to != cur_plugin: | 39 | if switch_to != cur_plugin: |
| 40 | raise Exception("Could not switch to plugin: %s" % switch_to) | 40 | raise Exception("Could not switch to plugin: %s" % switch_to) |
| 41 | 41 | ||
| 42 | def uname_matches(reg): | ||
| 43 | data = subprocess.check_output(["uname", "-r"]) | ||
| 44 | return bool( re.match(reg, data) ) | ||
| 42 | 45 | ||
| 43 | def is_executable(fname): | 46 | def is_executable(fname): |
| 44 | """Return whether the file passed in is executable""" | 47 | """Return whether the file passed in is executable""" |
