diff options
| author | Norbert Thiebaud <nthiebaud@gmail.com> | 2016-12-07 17:36:43 -0600 |
|---|---|---|
| committer | Norbert Thiebaud <nthiebaud@gmail.com> | 2016-12-07 17:37:05 -0600 |
| commit | 83c6c871db3eb11e284909902e0dc639e9753136 (patch) | |
| tree | 766f637aea6214155b1cd3d6077ec05c47fd7c3d /distro-configs/Jenkins | |
| parent | eb2a5390dfe3db3dc528ca25b424fd1bfdf3f240 (diff) | |
add a linux_random jenkins's distro config to be able to have a tb on that
Change-Id: I203f5e7c4f78fe57a09373b944f0d58d8c3a5d05
Diffstat (limited to 'distro-configs/Jenkins')
| -rw-r--r-- | distro-configs/Jenkins/linux_random.conf | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/distro-configs/Jenkins/linux_random.conf b/distro-configs/Jenkins/linux_random.conf new file mode 100644 index 000000000000..4e71d38533f8 --- /dev/null +++ b/distro-configs/Jenkins/linux_random.conf @@ -0,0 +1 @@ +--enable-fuzz-options |