christos 9a21bc9318 fix the tools build. reported by Utkarsh Anand		2017-05-05 12:21:28 +00:00
..
Makefile	…
tic.1	…
tic.c	fix the tools build. reported by Utkarsh Anand	2017-05-05 12:21:28 +00:00