-
Nirbheek Chauhan authored
We do not edit the build files. Also don't need to disable make check, we don't run it anyway and if it's broken we should investigate.
We do not edit the build files. Also don't need to disable make check, we don't run it anyway and if it's broken we should investigate.