diff options
| author | Pierre Beyssac <pb@FreeBSD.org> | 2001-01-23 20:50:38 +0000 |
|---|---|---|
| committer | Pierre Beyssac <pb@FreeBSD.org> | 2001-01-23 20:50:38 +0000 |
| commit | 2921f400fbb97d02bdddd6d6fd00493d9b98a775 (patch) | |
| tree | d1d56d1301f94d4c73cfc46ef6cc69fe6f632c71 /lang/erlang/files/patch-ad | |
| parent | o change master site. (diff) | |
Update port to erlang 7.1.0.
Change maintainer (agreed to by previous maintainer).
PR: ports/24456
Submitted by: sam@inf.enst.fr
Notes
Notes:
svn path=/head/; revision=37506
Diffstat (limited to 'lang/erlang/files/patch-ad')
| -rw-r--r-- | lang/erlang/files/patch-ad | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/lang/erlang/files/patch-ad b/lang/erlang/files/patch-ad new file mode 100644 index 000000000000..cb87f5b64db0 --- /dev/null +++ b/lang/erlang/files/patch-ad @@ -0,0 +1,21 @@ +--- lib/os_mon/src/disksup.erl.orig Sat Dec 2 22:19:26 2000 ++++ lib/os_mon/src/disksup.erl Sat Dec 2 22:19:34 2000 +@@ -81,6 +81,9 @@ + check_disk_space(State) when State#state.os == {unix, solaris} -> + Result = os:cmd("/usr/bin/df -lk"), + check_disks_solaris(skip_to_eol(Result), State#state.threshold); ++check_disk_space(State) when State#state.os == {unix, freebsd} -> ++ Result = os:cmd("/bin/df -k -t ufs"), ++ check_disks_solaris(skip_to_eol(Result), State#state.threshold); + check_disk_space(State) when State#state.os == {unix, sunos4} -> + Result = os:cmd("df"), + check_disks_solaris(skip_to_eol(Result), State#state.threshold). +@@ -162,6 +165,8 @@ + {4,_,_} -> {unix, sunos4}; + V -> exit({{unknown_os_version, V}, {disk_sup, get_os, []}}) + end; ++ {unix, freebsd} -> ++ {unix, freebsd}; + {win32,W} -> + {win32,W}; + Type -> |