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""" |