On Fri, 2023-09-22 at 15:12 +0200, Hiltjo Posthuma wrote:
> On Sun, Sep 17, 2023 at 12:11:28AM +0000, Tom Schwindl wrote:
> > ---
> > Makefile | 2 +-
> > 1 file changed, 1 insertion(+), 1 deletion(-)
> >
> > diff --git a/Makefile b/Makefile
> > index 470ac86407bb..6eb2d9d04852 100644
> > --- a/Makefile
> > +++ b/Makefile
> > _AT_@ -40,7 +40,7 @@ dist: clean
> > tar -cf - st-$(VERSION) | gzip > st-$(VERSION).tar.gz
> > rm -rf st-$(VERSION)
> >
> > -install: st
> > +install: all
Wouldn't be best that install does not build stuff? Because sudo make
install could possibly build files as root if the user forgot to run
make before.
--
David
Received on Mon Sep 25 2023 - 14:08:00 CEST