Eric Kow <bugs@darcs.net> writes:
> Petr has an explanation about involving lack of cancellation in
> IgnoreTimes DontIgnoreTimes due to not using a mutual exclusivity
> mechanism, but I'm a bit skeptical because it looks like all of Darcs
> code is using the willIgnoreTimes function rather than testing
> [DarcsFlag] directly, which effectively is a mutual exclusivity
> mechanism, albeit a crappy one. BTW, the real fix is issue1550, ie.
> switching to a command line parsing lib that automagically enforces
> mutual exclusivity
01:29:01 | morn@twi:~/dev/darcs/mainline -> time darcs wh
No changes!
darcs wh 0,00s user 0,00s system 45% cpu 0,009 total
01:29:03 | morn@twi:~/dev/darcs/mainline -> time darcs wh --ignore
No changes!
darcs wh --ignore 0,17s user 0,03s system 97% cpu 0,206 total
01:29:06 | morn@twi:~/dev/darcs/mainline -> time darcs wh --ignore --no-ignore
No changes!
darcs wh --ignore --no-ignore 0,17s user 0,03s system 97% cpu 0,206 total
01:30:31 | morn@twi:~/dev/darcs/mainline -> time darcs wh --no-ignore --ignore
No changes!
darcs wh --no-ignore --ignore 0,00s user 0,00s system 45% cpu 0,009 total
Draw whatsoever conclusions you want from this...
Yours,
Petr.
|