Improved "make pr".
This commit is contained in:
parent
9b6c26ad14
commit
a0f184e3d1
1 changed files with 3 additions and 1 deletions
|
@ -14,4 +14,6 @@ opr :
|
|||
make pr | opr
|
||||
|
||||
pr:
|
||||
@ar pv libem_s.a
|
||||
@pr head_em.s
|
||||
@arch pv libem_s.a | pr -h `pwd`/libem_s.a
|
||||
@arch pv libem_s.vend.a | pr -h `pwd`/libem_s.vend.a
|
||||
|
|
Loading…
Reference in a new issue