Improve make dist to warn on building inside a git repository
#102
| Job | Run time |
|---|---|
| 1m 15s | |
| 1m 2s | |
| 1m 15s | |
| 1m 10s | |
| 1m 14s | |
| 52s | |
| 52s | |
| 40s | |
| 25s | |
| 3m 2s | |
| 3m 10s | |
| 2m 43s | |
| 3m 1s | |
| 7m 37s | |
| 3s | |
| 28m 21s |