But you already understand makefiles, so try using both

What is it that ok files can do that Makefiles don’t?

I don’t buy your complexity argument, a Makefile can be as simple as:

  1:
    ./build.sh

Now you can run “make 1” and you have the same as “ok 1”.

Although most people would name this “build” rather than “1”, so you “make build”.

And the equivalent ok file would be:

  build: ./build.sh

So the only syntactical difference is that make require a newline after the colon.