David Given edee22510b liblinux is no more; its files are now in libsys.

2016-08-20 14:03:49 +02:00

..

cpm

Fix dependency error (only shows up with make, not ninja. Odd).

2016-08-15 00:46:43 +02:00

linux

Turns out I wasn't building the syscall libraries. Do so.

2016-08-14 11:23:57 +02:00

linux68k

liblinux is no more; its files are now in libsys.

2016-08-20 14:03:49 +02:00

linux386

liblinux is no more; its files are now in libsys.

2016-08-20 14:03:49 +02:00

linuxppc

Remove defunct pmfiles.

2016-06-03 13:56:50 +02:00

pc86

Fix dependency error (only shows up with make, not ninja. Odd).

2016-08-15 00:46:43 +02:00

rpi

rpi has a time() function; don't try to call gettimeofday().

2016-08-20 14:03:19 +02:00

.distr

Update distribution files.

2013-05-15 23:46:15 +01:00

build.lua

linux386 builds. Also, forgot to turn back on the language runtimes.

2016-08-14 10:37:55 +02:00

build.mk

Allow machines to use cg if they wish.

2015-03-23 00:08:51 +01:00