specify ubuntu as primary Vagrant VM

[nominatim.git] / settings / settings.php

<?php
        echo "ERROR: Scripts must be run from build directory.\n";
        exit;