christos 27de1fdbf3 build ops.h first, because trying to build dependencies and ops.h at the ...

same time leads to spurious failures.

2015-04-04 19:32:06 +00:00

..

arch

…

common

…

lint1

…

lint2

…

llib

…

xlint

…

Makefile

…

Makefile.inc

…