diff core/statsmanager.lua @ 7973:703f7f45feb4

util.signal: Enable all GNU features, _DEFAULT_SOURCE doesn't have the desired effect before glibc 2.19
author Kim Alvefur <zash@zash.se>
date Sun, 12 Mar 2017 12:49:34 +0100
parents 4f145a9f1477
children 7929e0fe0577
line wrap: on
line diff