diff options
author | dzwdz | 2022-08-26 17:11:23 +0200 |
---|---|---|
committer | dzwdz | 2022-08-26 17:11:23 +0200 |
commit | e7676411e49bfd2e0da0b785ad4ac5dc909d0a41 (patch) | |
tree | 22f4608e68684aa71d94d2f9ccfd27f7066509e5 /port | |
parent | e6584db26da34572fb13aa236e16e19f71c8e976 (diff) |
user/ports: port oed
make clean; ./port ed clean; make -j4 out/libc.a && ./port ed install && make -j4
Diffstat (limited to 'port')
-rwxr-xr-x | port | 14 |
1 files changed, 14 insertions, 0 deletions
@@ -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 |