| .. |
|
build
|
5b517f23e7
Don't bother building man pages and indexes, they are already built.
|
há 2 anos atrás |
|
funcs
|
e7fb14a52d
Introduce a slightly modified version of the 9legacy usb build script (#1162)
|
há 3 anos atrás |
|
iso
|
c55ff02695
Split CDROM and USB building into separate scripts. Also clean up build stuff a bit.
|
há 3 anos atrás |
|
linux-build
|
b6c9c6887c
Revert "temp echos"
|
há 3 anos atrás |
|
main
|
d5f972f1da
Implement a build system based on 9legacy's scripts (9legacy.org/magic/webls?dir=/www.9legacy.org/9legacy/build)
|
há 3 anos atrás |
|
repl
|
993b201c1e
Make the build scripts less error-tolerant so it is easier to find the problem
|
há 3 anos atrás |
|
usb
|
101353f52f
Make the usb build script use nboot.
|
há 2 anos atrás |
John Floren
5b517f23e7
Don't bother building man pages and indexes, they are already built.