Print this page
XXX Remove nawk(1)
*** 221,231 ****
# Find all mountpoints in use for a set of device special files.
# Usage: findmounts devpath ...
#
findmounts() {
! nawk -f - -v vold_root="$VOLD_ROOT" -v devs="$*" /etc/mnttab <<\
"ENDOFAWKPGM"
BEGIN {
split(devs, devlist, " ");
for (devN in devlist) {
dev = devlist[devN];
--- 221,231 ----
# Find all mountpoints in use for a set of device special files.
# Usage: findmounts devpath ...
#
findmounts() {
! /usr/xpg4/bin/awk -f - -v vold_root="$VOLD_ROOT" -v devs="$*" /etc/mnttab <<\
"ENDOFAWKPGM"
BEGIN {
split(devs, devlist, " ");
for (devN in devlist) {
dev = devlist[devN];