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 | |
| parent | 7c09ec981c6e06af2e62d67a609eb53728267954 (diff) | |
Experiments can specify a required kernel name for running.
Diffstat (limited to 'experiment')
| -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""" |