From 1a1eb66fa0f4e6de6d06d80dae1bdce276fbd294 Mon Sep 17 00:00:00 2001 From: dzwdz Date: Sat, 25 Feb 2023 18:31:16 +0100 Subject: ports: move to the new toolchain --- ports/ed | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'ports/ed') diff --git a/ports/ed b/ports/ed index 87dd05c..8a83ae4 100644 --- a/ports/ed +++ b/ports/ed @@ -14,7 +14,7 @@ configure() { cat <<\EOF > Makefile # This Makefile automatically generated by configure. -CC = cc +CC = x86_64-camellia-gcc CFLAGS = -g -O2 -I. -D_GNU_SOURCE PREFIX = /usr/local @@ -63,5 +63,6 @@ prep() { case $1 in install) (prep; make; make install "PREFIX=$PREFIX" "MANDIR=$PREFIX/man/") ;; clean) (prep; make clean) ;; + deepclean) (rm -rf oed) ;; *) echo "usage: $0 install|clean"; false ;; esac -- cgit v1.2.3