From 5602a4a1c5d3956ed3f27f2def61f57bd7b43177 Mon Sep 17 00:00:00 2001 From: Zygo Blaxell Date: Fri, 25 Oct 2024 21:51:35 -0400 Subject: [PATCH] zygo: move make-kernel to $HOME/bin --- zygo/make-kernel | 25 ------------------------- 1 file changed, 25 deletions(-) delete mode 100755 zygo/make-kernel diff --git a/zygo/make-kernel b/zygo/make-kernel deleted file mode 100755 index 4a57b79af2fb..000000000000 --- a/zygo/make-kernel +++ /dev/null @@ -1,25 +0,0 @@ -#!/bin/bash -set -xP - -# Reread $PWD -cd . - -# Count CPU threads -procsOnln=$(getconf _NPROCESSORS_ONLN) - -# Set env vars (probably no longer used, except MAKEFLAGS) -set -a -MAKEFLAGS="EXTRAVERSION=$EXTRAVERSION -j$((procsOnln * 2)) -O" -MODULE_LOC=$PWD/../modules -INSTALLKERNEL=true -KBUILD_DIR=$PWD -KSRC=$PWD -set +a - -time annotate-output make bindeb-pkg 2>&1 | tee make.log - -for x in ../modules/*/; do - (cd "$x" && time annotate-output fakeroot debian/rules binary_modules KDREV=1 2>&1 | tee make.log) & -done - -wait -- 2.39.5