# $Id: os.Linux.mk 3210 2015-05-17 13:40:49Z kaiwang27 $

CFLAGS+=	-Wall -D_GNU_SOURCE