06fb5fcce0
- Just use the prefix in the % files list so that we a) grab the whole tree and b) it removes all the directories when the RPM is removed. Thanks to Bernard Li for reporting the problem. This commit was SVN r10617. |
||
---|---|---|
.. | ||
dist | ||
nightly | ||
platform | ||
code_counter.pl | ||
copyright.pl | ||
find_occurence.pl | ||
find_offenders.pl | ||
fix_headers.pl | ||
fix_indent.pl | ||
gen_stats.pl | ||
generate_file_list.pl | ||
headers.txt | ||
Makefile.am | ||
openmpi-valgrind.supp | ||
search_replace.pl | ||
submit_test.pl | ||
test_headers_in_ompi.pl |