about summary refs log tree commit diff stats
path: root/clean
Commit message (Collapse)AuthorAgeFilesLines
* 5858Kartik Agaram2020-01-011-1/+1
| | | | | | Move script to create a Soso boot image into a sub-directory. I'm trying to streamline newcomer attention to just a couple of use cases.
* 5801 - move `tangle` to `tools/` dirKartik Agaram2019-12-071-2/+2
|
* 5800 - move `browse_trace` to `tools/` dirKartik Agaram2019-12-071-2/+2
|
* 5799 - move html-generation to `tools/` directoryKartik Agaram2019-12-071-1/+1
|
* 5798Kartik Agaram2019-12-071-1/+1
| | | | | Fuck, 'tmp' is a generic name, and running `clean` deleted some files I'd stashed away.
* 5797 - move `enumerate/` to `tools/` directoryKartik Agaram2019-12-071-1/+1
|
* 5796 - move treeshake to a new tools/ directoryKartik Agaram2019-12-071-1/+2
|
* 5793Kartik Agaram2019-12-051-1/+1
| | | | | | | | | Start of a new script called treeshake to emit stats for minimal line counts and binary sizes for all apps. It doesn't actually do any dead-code deletion yet. But it does build and run all apps successfully. (Except apps/mu; we'll ignore that for now. It's probably not being disciplined about identifying internal labels.)
* 5788Kartik Agaram2019-12-021-1/+1
|
* 5650 - support a second OS: sosoKartik Agaram2019-09-141-1/+2
| | | | | | | | | https://github.com/ozkl/soso + Much smaller than Linux; builds instantly + Supports graphics - No network support - Doesn't work on a cloud server (yet?)
* Merge branch 'master' into desugarKartik Agaram2019-08-141-0/+1
|\
| * 5502 - package up into a bootable disk imageKartik Agaram2019-08-091-0/+1
| | | | | | | | | | Many thanks to John Davidson for Minimal Linux Live (GPLv3), from which I cribbed gen_iso.
* | .Kartik Agaram2019-08-131-0/+1
|/
* 5485 - promote SubX to top-levelKartik Agaram2019-07-271-5/+3
|
* 4270 - tweak the experimental concurrent builderKartik Agaram2018-06-251-1/+1
|
* 4251 - speed up repeated builds until the same layerKartik Agaram2018-06-051-0/+1
| | | | Also allow running a single test, to speed things up still further.
* 4211Kartik K. Agaram2018-02-201-0/+1
| | | | | | | | Just ran into first issue from using the portable /bin/sh rather than a modern shell: https://stackoverflow.com/questions/15744421/read-command-doesnt-wait-for-input Turn on errexit everywhere.
* 3460Kartik K. Agaram2016-10-071-0/+1
|
* 3447 - drop dependence on GNU makeKartik K. Agaram2016-10-061-0/+7
A generic build system is overkill for such a small project, and it was adding complexity on OpenBSD which doesn't come with GNU make by default. In the process we also eliminate our reliance on bash and perl, at least for the core build script.