From e7676411e49bfd2e0da0b785ad4ac5dc909d0a41 Mon Sep 17 00:00:00 2001 From: dzwdz Date: Fri, 26 Aug 2022 17:11:23 +0200 Subject: user/ports: port oed make clean; ./port ed clean; make -j4 out/libc.a && ./port ed install && make -j4 --- port | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100755 port (limited to 'port') diff --git a/port b/port new file mode 100755 index 0000000..78ad7b0 --- /dev/null +++ b/port @@ -0,0 +1,14 @@ +#!/bin/sh +set -eu +export REPO="$PWD" +export PREFIX="$REPO/out/initrd/usr/" +export PATH="$REPO/ports/bin/:$REPO/toolchain/bin/:$PATH" + +if [ $1 = deepclean ]; then + rm -rf ports/out/ + exit +fi + +mkdir -p ports/out/$1/ $PREFIX +cd ports/out/$1/ +sh $REPO/ports/$1 $2 -- cgit v1.2.3