diff options
author | Jonathan Herman <hermanjl@cs.unc.edu> | 2012-09-28 11:17:43 -0400 |
---|---|---|
committer | Jonathan Herman <hermanjl@cs.unc.edu> | 2012-09-28 11:17:43 -0400 |
commit | 0ff824061ff5a58d25e64453dd0abc800d8db933 (patch) | |
tree | 5878c51a32cb89e38bade37202bf007b1b603c9b /experiment/litmus_util.py | |
parent | 7c09ec981c6e06af2e62d67a609eb53728267954 (diff) |
Experiments can specify a required kernel name for running.
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""" |