diff options
Diffstat (limited to 'java/jmp/files/patch-configure')
| -rw-r--r-- | java/jmp/files/patch-configure | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/java/jmp/files/patch-configure b/java/jmp/files/patch-configure new file mode 100644 index 000000000000..1e1a32c90f62 --- /dev/null +++ b/java/jmp/files/patch-configure @@ -0,0 +1,12 @@ +$FreeBSD$ + +--- configure.orig Fri Feb 28 08:28:00 2003 ++++ configure Fri Feb 28 08:28:31 2003 +@@ -11241,6 +11241,7 @@ + + + case $target_os in ++ freebsd*) java_os=freebsd;; + linux*) java_os=linux;; + solaris*) java_os=solaris;; + cygwin*) java_os=win32;; |