debian/patches/02-makefile_examples.dpatch
author etisserant
Tue, 19 Feb 2008 14:52:40 +0100
changeset 401 2c90876b9751
parent 346 59dbdcc99264
permissions -rwxr-xr-x
Fixed segfault on quit with Xenomai, due to bat parameter type in waitReceiveTaskEnd.
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
## 02-makefile_examples.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~/examples/Makefile.in canfestival-3/examples/Makefile.in
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     9
--- canfestival-3~/examples/Makefile.in	2007-10-11 09:13:05.000000000 +0200
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    10
+++ canfestival-3/examples/Makefile.in	2007-11-21 10:22:39.000000000 +0100
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    11
@@ -30,8 +30,8 @@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    12
 
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    13
 ifeq ($(TARGET),unix)
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    14
 	$(MAKE) -C TestMasterSlave $@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    15
-#	$(MAKE) -C DS401_Master $@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    16
-#	$(MAKE) -C DS401_Slave_Gui $@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    17
+	$(MAKE) -C DS401_Master $@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    18
+	$(MAKE) -C DS401_Slave_Gui $@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    19
 	$(MAKE) -C TestMasterMicroMod $@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    20
 endif
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    21
 
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    22
@@ -49,8 +49,8 @@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    23
 
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    24
 ifeq ($(TARGET),unix)
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    25
 	$(MAKE) -C TestMasterSlave $@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    26
-#	$(MAKE) -C DS401_Master $@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    27
-#	$(MAKE) -C DS401_Slave_Gui $@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    28
+	$(MAKE) -C DS401_Master $@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    29
+	$(MAKE) -C DS401_Slave_Gui $@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    30
 	$(MAKE) -C TestMasterMicroMod $@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    31
 endif
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    32
 
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    33
@@ -70,15 +70,15 @@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    34
 install:
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    35
 ifeq ($(TARGET),unix)
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    36
 	$(MAKE) -C TestMasterSlave $@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    37
-#	$(MAKE) -C DS401_Master $@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    38
-#	$(MAKE) -C DS401_Slave_Gui $@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    39
+	$(MAKE) -C DS401_Master $@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    40
+	$(MAKE) -C DS401_Slave_Gui $@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    41
 	$(MAKE) -C TestMasterMicroMod $@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    42
 endif
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    43
 
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    44
 uninstall:
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    45
 ifeq ($(TARGET),unix)
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    46
 	$(MAKE) -C TestMasterSlave $@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    47
-#	$(MAKE) -C DS401_Master $@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    48
-#	$(MAKE) -C DS401_Slave_Gui $@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    49
+	$(MAKE) -C DS401_Master $@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    50
+	$(MAKE) -C DS401_Slave_Gui $@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    51
 	$(MAKE) -C TestMasterMicroMod $@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    52
 endif