diff options
Diffstat (limited to 'java/jmp/files/patch-configure')
| -rw-r--r-- | java/jmp/files/patch-configure | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/java/jmp/files/patch-configure b/java/jmp/files/patch-configure deleted file mode 100644 index 1e1a32c90f62..000000000000 --- a/java/jmp/files/patch-configure +++ /dev/null @@ -1,12 +0,0 @@ -$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;; |