Ignore:
Timestamp:
Jan 13, 2010, 2:09:30 AM (10 years ago)
Author:
Sam Hocevar
Message:

Rename -t/--max-time to -U/--max-usertime, and add -t/--max-time to
roughly mean "maximum zzuf run time". Fixes bug #45.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • zzuf/trunk/src/opts.h

    r4253 r4264  
    3131    int verbose;
    3232    int maxmem;
     33    int64_t starttime;
    3334    int64_t maxtime;
     35    int64_t maxusertime;
    3436    int64_t delay;
    3537    int64_t lastlaunch;
Note: See TracChangeset for help on using the changeset viewer.