diff options
| author | André Fabian Silva Delgado <emulatorman@parabola.nu> | 2014-07-19 14:39:18 -0300 |
|---|---|---|
| committer | André Fabian Silva Delgado <emulatorman@parabola.nu> | 2014-07-19 14:39:18 -0300 |
| commit | 2f44338ed48bd1f903c739eecf869c9eb5800331 (patch) | |
| tree | 1891d1cb583624cee0245641656dece5fb40dfd8 /pcr/ocaml-biniou/PKGBUILD | |
| parent | 778541e98a450c29e875e073d0f10737468db5c9 (diff) | |
| download | abslibre-2f44338ed48bd1f903c739eecf869c9eb5800331.tar.gz abslibre-2f44338ed48bd1f903c739eecf869c9eb5800331.tar.bz2 abslibre-2f44338ed48bd1f903c739eecf869c9eb5800331.zip | |
linux-libre-grsec-3.15.5.201407170639-2: updating version
* enable CONFIG_PAX_MEMORY_SANITIZE
* use the higher upstream value for CONFIG_DEFAULT_MMAP_MIN_ADDR
Diffstat (limited to 'pcr/ocaml-biniou/PKGBUILD')
0 files changed, 0 insertions, 0 deletions