diff options
| author | dzwdz | 2023-02-25 18:31:16 +0100 |
|---|---|---|
| committer | dzwdz | 2023-02-25 18:31:16 +0100 |
| commit | 1a1eb66fa0f4e6de6d06d80dae1bdce276fbd294 (patch) | |
| tree | bd26d19ec1e7f212c6329969054a2f4196338867 /ports/ed | |
| parent | fd9214efa47f721e6d08dd2530efbb40b99c3b7b (diff) | |
ports: move to the new toolchain
Diffstat (limited to 'ports/ed')
| -rw-r--r-- | ports/ed | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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 |