Ticketed as https://trac.osgeo.org/postgis/ticket/4617 And PR https://github.com/postgis/postgis/pull/532 Adds `--without-phony-revision`. When used the revision file will be generated only if it doesn't exists. -- Raúl Marín Rodríguez carto.com