Remove FUTEX_UPGRADABLE config option
commita615be0f62718e4af73eb5a2f4ba35941be7e85a
authorJakub Jermar <jakub@jermar.eu>
Tue, 20 Nov 2018 17:01:12 +0000 (20 18:01 +0100)
committerJakub Jermar <jakub@jermar.eu>
Tue, 20 Nov 2018 17:01:12 +0000 (20 18:01 +0100)
treea20434da8c38f9ca6677ef5754a7d20d63d50479
parent3b3fcf369f7972634c32240f6c2c7e342deadefe
Remove FUTEX_UPGRADABLE config option
HelenOS.config