diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-08-29 00:40:31 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-08-29 00:40:31 -0700 |
| commit | 4ed126000a44f1e03116973071bb1c2f7fe18458 (patch) | |
| tree | 0ef4ed1dbfbc0c4679924ce53b8b2071880e0302 /build_until | |
| parent | b856e7e15f36939bd5cecf090a2c0d4a26ab7850 (diff) | |
| download | mu-4ed126000a44f1e03116973071bb1c2f7fe18458.tar.gz | |
3277
Streamline the build process a bit.
Diffstat (limited to 'build_until')
| -rwxr-xr-x | build_until | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/build_until b/build_until index 77c217dd..2b75d792 100755 --- a/build_until +++ b/build_until @@ -8,7 +8,6 @@ make --no-print-directory tangle/tangle make --no-print-directory enumerate/enumerate ./tangle/tangle $(./enumerate/enumerate --until $1 |grep -v '.mu$') |grep -v "^\s*//:" > mu.cc -make --no-print-directory autogenerated_lists cat /dev/null $(./enumerate/enumerate --until $1 |grep '.mu$') > core.mu |