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 > > @@ -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