let verbose = ref ""
let jobs = ref 0
let specs = align
- [ "-verbose", Unit (set verbose "-verbose 10 -classic-display"),
+ [ "-verbose", Unit (set verbose " -classic-display"),
" Display compilation commands";
"-debug", Unit (cons tags "-tag debug"),