christos 30173ba7ad set some variables we need		2014-10-07 22:14:05 +00:00
..
Makefile	set some variables we need	2014-10-07 22:14:05 +00:00
Makefile.inc