diff options
| author | Amerigo Wang <amwang@redhat.com> | 2011-08-17 15:10:52 +0800 |
|---|---|---|
| committer | Michal Marek <mmarek@suse.cz> | 2011-09-09 11:48:31 +0200 |
| commit | cd96ea3a4f2c9c226216c8d8e57fd8f86801515d (patch) | |
| tree | b8878e38099262e9583e4f86dcd0f51b8c5bb98b /lib/mpi/mpi-add.c | |
| parent | 6a5be57f0f00bf5f39b983ec98d58058bc696543 (diff) | |
Makefile: remove a duplicated line
There are two duplicated lines for 'make RECORDMCOUNT_WARN=1 [targets]'
in 'make help', remove the second one.
Signed-off-by: WANG Cong <xiyou.wangcong@gmail.com>
Signed-off-by: Michal Marek <mmarek@suse.cz>
Diffstat (limited to 'lib/mpi/mpi-add.c')
0 files changed, 0 insertions, 0 deletions