Searched refs:opt_ts_uidfile (Results 1 – 1 of 1) sorted by relevance
120 const char * opt_ts_uidfile = NULL; in main() local363 app.checkValue(cmd.getValue(opt_ts_uidfile)); in main()367 opt_timeStamp->setUIDFilename(opt_ts_uidfile); in main()648 app.checkValue(cmd.getValue(opt_ts_uidfile)); in main()651 opt_timeStamp->setUIDFilename(opt_ts_uidfile); in main()