1
# config.log, config.status are included in the upstream tarball,
2
# but we call `make clean' before doing any serious work
3
gnurobbo source: configure-generated-file-in-source config.log
4
gnurobbo source: configure-generated-file-in-source config.status