diff --git a/.gitignore b/.gitignore index 716271029efb..a72ba53c0f76 100644 --- a/.gitignore +++ b/.gitignore @@ -73,3 +73,6 @@ stamp-* /gmp* /isl* /gettext* + +# Static compilation build files. +/build-*/ \ No newline at end of file