--- makefile.orig 2022-10-04 00:20:51 UTC +++ makefile @@ -2,7 +2,7 @@ all : # This only works if you are making the default target. all : - cd src ; make + cd src && $(MAKE) clean : cd src ; make clean