debian/patches/01-makefile.dpatch
author etisserant
Wed, 04 Jun 2008 10:57:06 +0200
changeset 469 f2b07ea215b5
parent 346 59dbdcc99264
permissions -rwxr-xr-x
Applied edward's patch for OD acces macros (optimization) and boudaries check (safety).
346
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     1
#! /bin/sh /usr/share/dpatch/dpatch-run
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     2
## 01-makefile.dpatch by  <lolitech@lolitech-desktop>
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     3
##
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     4
## All lines beginning with `## DP:' are a description of the patch.
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     5
## DP: No description.
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     6
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     7
@DPATCH@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     8
diff -urNad canfestival-3~/Makefile.in canfestival-3/Makefile.in
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     9
--- canfestival-3~/Makefile.in	2007-08-08 08:51:09.000000000 +0200
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    10
+++ canfestival-3/Makefile.in	2007-11-21 09:32:00.000000000 +0100
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    11
@@ -46,7 +46,6 @@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    12
 	$(MAKE) -C src $@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    13
 	$(MAKE) -C examples $@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    14
 	$(MAKE) -C objdictgen $@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    15
-	ldconfig
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    16
 
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    17
 uninstall:
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    18
 	$(MAKE) -C drivers $@