diff options
| author | José Simões <jose.simoes@eclo.solutions> | 2019-03-07 16:30:13 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-07 16:30:13 +0000 |
| commit | ab0b1c80d2683ea0e6ce9791e4c3eb327c318b42 (patch) | |
| tree | 9a5fbdae72757d4980108f200918b5bcbe38d953 /Jenkinsfile | |
| parent | 34701463fcc4d7a0a5a226f9a464de8077cf8744 (diff) | |
| download | ChibiOS-Contrib-ab0b1c80d2683ea0e6ce9791e4c3eb327c318b42.tar.gz ChibiOS-Contrib-ab0b1c80d2683ea0e6ce9791e4c3eb327c318b42.tar.bz2 ChibiOS-Contrib-ab0b1c80d2683ea0e6ce9791e4c3eb327c318b42.zip | |
Add call to cache flush on disk write
- This is required for F7 targets (and others that feature memory cache).
- The call is provided empty for all the other series, so it's OK to use it as it is.
Diffstat (limited to 'Jenkinsfile')
0 files changed, 0 insertions, 0 deletions