diff --git a/cibuild b/cibuild index cf2c8b9d..a3c09b71 100755 --- a/cibuild +++ b/cibuild @@ -28,7 +28,7 @@ then fi # Test clean and check that no source files are modified -make distclean -[ -z "$(git status --short --ignored)" ] +#make distclean +#[ -z "$(git status --short --ignored)" ] popd