]> git.pld-linux.org Git - packages/jed.git/commitdiff
- updated for 0.99.15.
authorkloczek <kloczek@pld-linux.org>
Tue, 23 Apr 2002 14:16:42 +0000 (14:16 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
Changed files:
    jed-makefile.patch -> 1.4

jed-makefile.patch

index e2de3395f58ee68883462e82c327638c3222619b..0f9c88472b42d709aa2f7edfb2786b45cdd969c8 100644 (file)
@@ -1,5 +1,5 @@
---- ./src/Makefile.in.orig     Fri Jul 13 20:36:44 2001
-+++ ./src/Makefile.in  Fri Jul 13 20:51:44 2001
+--- jed-B0.99-15/src/Makefile.in.orig  Mon Oct  8 06:48:16 2001
++++ jed-B0.99-15/src/Makefile.in       Tue Apr 23 16:02:39 2002
 @@ -14,9 +14,11 @@
  exec_prefix = @exec_prefix@
  #JED_ROOT = $(HOME)/src/jed# <--- make sure # is at end of file!!
  #---------------------------------------------------------------------------
  # 1. Linux GPM Mouse support
  #    Uncomment next FOUR lines for GPM mouse support
--#MOUSEFLAGS = -DUSE_GPM_MOUSE
+-#MOUSEFLAGS = -DHAS_GPM_MOUSE
 -#MOUSELIB = -lgpm
 -#GPMMOUSEO = gpmmouse.o
 -#OBJGPMMOUSEO = $(OBJDIR)/$(GPMMOUSEO)
-+MOUSEFLAGS = -DUSE_GPM_MOUSE
++MOUSEFLAGS = -DHAS_GPM_MOUSE
 +MOUSELIB = -lgpm
 +GPMMOUSEO = gpmmouse.o
 +OBJGPMMOUSEO = $(OBJDIR)/$(GPMMOUSEO)
This page took 0.061037 seconds and 4 git commands to generate.