diff wscript @ 124:7117c36b790d

Makefile.linux: update
author Paul Brossier <piem@piem.org>
date Fri, 22 Jul 2016 00:20:37 +0200
parents 0127ded40575
children 4a10417c18d6
line wrap: on
line diff