configureのオプション間違えていた

突然だがconfigureのオプションを間違えていた。
自分だけならちょっと残ってやり直すかで済むんだけど、複数人でやっていると大変に申し訳ない結果になる。
自業自得ならまだ何とかなるが、こういう場合、相手にも迷惑をかけるし自分の精神衛生上にも良くない。
そういう日に限って洗濯物がたまっていて早く帰らないといけないとかそういう事情。ＫＹ。