42037fc8b4
Make sure we pass $(BUILDOPTS) to the `clean' target so that `make clean' works on the same set of object files. Otherwise, we may end up with an incorrectly built and up-to-date object file.