Makefileで*.dが作成されない問題を修正。また、srcディレクトリーでdistcleanとcleanターゲットを設定
[YACASL2.git] / test / system / comet2 / opt_opterr / 0.txt
1 Usage: ../../../../comet2 [-tTdvh] [-M <MEMORYSIZE>] [-C <CLOCKS>] FILE