diff options
author | Fabio Estevam <festevam@gmail.com> | 2018-03-29 08:30:59 -0300 |
---|---|---|
committer | Peter Korsgaard <peter@korsgaard.com> | 2018-04-06 20:03:35 +0200 |
commit | 093b70262721625cef7dfc7abae5cf46badc2241 (patch) | |
tree | 97319e4843e1e9cb4b1ea3fec87f0ce0e428ec36 /package/openmpi/openmpi.mk | |
parent | 0b601f4c8f1d56577ce5032f70fd7d67026a5aeb (diff) | |
download | buildroot-093b70262721625cef7dfc7abae5cf46badc2241.tar.gz buildroot-093b70262721625cef7dfc7abae5cf46badc2241.zip |
linux: bump default to version 4.15.14
Signed-off-by: Fabio Estevam <festevam@gmail.com>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
(cherry picked from commit 02c40b31813e07d4e48c7a9c7dbce259d2c95a58)
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
Diffstat (limited to 'package/openmpi/openmpi.mk')
0 files changed, 0 insertions, 0 deletions