diff --git a/build_tools/build_detect_platform b/build_tools/build_detect_platform index c17cd3ead..5ad5552ce 100755 --- a/build_tools/build_detect_platform +++ b/build_tools/build_detect_platform @@ -184,7 +184,7 @@ else #include int main() { int fd = open("/dev/null", 0); - fallocate(fd, 0, 0, 1024); + fallocate(fd, FALLOC_FL_KEEP_SIZE | FALLOC_FL_PUNCH_HOLE, 0, 1024); } EOF if [ "$?" = 0 ]; then