Oops. this is a shell script, not a Makefile.