diff options
| author | Marcus Brinkmann <marcus@gnu.org> | 2001-12-20 17:29:33 +0000 |
|---|---|---|
| committer | Marcus Brinkmann <marcus@gnu.org> | 2001-12-20 17:29:33 +0000 |
| commit | deaefbde55ca1fe438d4d4a7fad0f5c1e2db6d6a (patch) | |
| tree | 562bac1eb085da7b9565a85643882d5e7479fb9c /daemons/runsystem.sh | |
| parent | ed7084d36cd68614191ac2a590fc45c5a3a8f221 (diff) | |
2001-12-20 Marcus Brinkmann <marcus@gnu.org>
* runsystem.sh: For now, this requires bash.
Diffstat (limited to 'daemons/runsystem.sh')
| -rw-r--r-- | daemons/runsystem.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/daemons/runsystem.sh b/daemons/runsystem.sh index a9bb4b5cf..c653807f2 100644 --- a/daemons/runsystem.sh +++ b/daemons/runsystem.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # # This program is run by /hurd/init at boot time after the essential # servers are up, and is responsible for running the "userland" parts of a |