-
David Johnson authored
This happens to be important right now because if there is a product key specified, a little sed command generates a new .in file, in the src dir, from a template... and thus you cannot have a read-only copy of the src tree even if building in a separate obj dir. Have an ro src tree is helpful for Docker image emulabization, and it's a good thing anyway.
fd60aa4c