diff options
Diffstat (limited to 'debian/local/runsystem.gnu')
| -rwxr-xr-x | debian/local/runsystem.gnu | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/local/runsystem.gnu b/debian/local/runsystem.gnu index 8be110f0..bb79eeda 100755 --- a/debian/local/runsystem.gnu +++ b/debian/local/runsystem.gnu @@ -8,8 +8,8 @@ RUNCOM=/libexec/rc # See whether pflocal is setup already, and do so if not (install case) -if ! test -e /servers/socket/1 && which settrans >/dev/null ; then - settrans -c /servers/socket/1 /hurd/pflocal +if ! test -e /servers/socket/1 && test -x /bin/settrans >/dev/null ; then + /bin/settrans -c /servers/socket/1 /hurd/pflocal fi # TODO: |