Remove unused nop_pause function.
This commit is contained in:
parent
d8828817d7
commit
d599aa2e40
2
runoff
2
runoff
|
@ -192,6 +192,8 @@ do
|
||||||
if [ "x$defs" != "x$uses" ]; then
|
if [ "x$defs" != "x$uses" ]; then
|
||||||
echo $i $defs
|
echo $i $defs
|
||||||
echo $uses |fmt -29 | sed 's/^/ /'
|
echo $uses |fmt -29 | sed 's/^/ /'
|
||||||
|
# else
|
||||||
|
# echo $i defined but not used >&2
|
||||||
fi
|
fi
|
||||||
done
|
done
|
||||||
) >refs
|
) >refs
|
||||||
|
|
Loading…
Reference in a new issue