SI, ssemplici script che aiutano nei parametri di configurazione.
Ne capitano parecchi se si compila spesso!
Non sono male, dato hce molti lanciano direttamente make alla fine, evitando di dover tornareeeeee al terminale a vedere se ha finito (in effetti ci vorrebbe un effetto sonoro al termine di "configure"...)