///////////////////////////////////////////////////////////////////////////
| 39 | |
| 40 | //////////////////////////////////////////////////////////////////////////////// |
| 41 | int usage() { |
| 42 | std::cerr << "USAGE: make_tc_task DATADIR KEY=VALUE ..\n"; |
| 43 | return 1; |
| 44 | } |
| 45 | |
| 46 | } // namespace |
| 47 |