diff options
Diffstat (limited to 'checks')
| -rw-r--r-- | checks/ChangeLog | 5 | ||||
| -rwxr-xr-x | checks/defs.inc | 3 |
2 files changed, 5 insertions, 3 deletions
diff --git a/checks/ChangeLog b/checks/ChangeLog index a92bbf439..9861e10f3 100644 --- a/checks/ChangeLog +++ b/checks/ChangeLog @@ -1,3 +1,8 @@ +Thu Jan 13 19:31:58 CET 2000 Werner Koch <[email protected]> + + * defs.inc (chdir): Removed becuase it is unsused an plain old sh + does not like this name. Reported by Alec Habig. + Tue Oct 26 20:02:23 1999 Werner Koch ([email protected]) * Makefile.am (GPG_DEARMOR): New and use --no-options. diff --git a/checks/defs.inc b/checks/defs.inc index d5fdc8af7..47c6e4d8f 100755 --- a/checks/defs.inc +++ b/checks/defs.inc @@ -48,9 +48,6 @@ info () { echo "$pgmname:" $* >&2 } -chdir () { - cd $1 || fatal "cannot cd to $1" -} echo_n_init=no echo_n () { |