make && sudo make install fails on a clean checkout

[rosenhouse]

Describe the bug

We used to be able to do

make && sudo make install

and end up with the libraries and headers in /usr/local/...

That doesn't work today.

Reproduction steps

git clone git@github.com:vmware/splinterdb.git
cd splinterdb
export CC=clang
export LD=clang
make
sudo make install

The last line fails with

Checking for mismatched config...Mismatched config file "build/release/build-config.38e61cc510d530870a8c417ec6741a7f" detected.  You need to "make clean".
make: *** [Makefile:259: mismatched_config_file_check] Error 123

Additional context

I can work around it by running

sudo --preserve-env=CC,LD make install

But I'd rather not have to remember to do that extra stuff.

[rosenhouse]

@rtjohnso I think you did a lot of this build config work earlier, in case this is an easy fix.