diff options
author | Kartik Agaram <vc@akkartik.com> | 2019-08-25 15:04:26 -0700 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2019-08-25 15:04:26 -0700 |
commit | 0d3b3ef04af50bd987979495e7e7ec3317b24b1c (patch) | |
tree | 812e679560e8c43563a8237eb996e18d81f8f69e /gen_iso | |
parent | 749d455ac3c6bcad8a09d96bc613aafc2af45292 (diff) | |
parent | b60d8c920ef988e8058c1e31bd0907643b60cb5d (diff) | |
download | mu-0d3b3ef04af50bd987979495e7e7ec3317b24b1c.tar.gz |
Merge branch 'master' into desugar
Diffstat (limited to 'gen_iso')
-rwxr-xr-x | gen_iso | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gen_iso b/gen_iso index e4111742..a1435210 100755 --- a/gen_iso +++ b/gen_iso @@ -32,7 +32,6 @@ then fi echo "=== building kernel" -cp kernel.config kernel/.config ( cd kernel make bzImage -j $(grep ^processor /proc/cpuinfo | wc -l) ) |