redirect make debian as make make -f Makefile.debian
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 16 Jan 2013 09:17:22 +0000 (10:17 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 16 Jan 2013 09:17:22 +0000 (10:17 +0100)
will make sense to merge both eventually

Makefile

index 6989044..013d83b 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -61,6 +61,10 @@ wsdl-clean:
 
 .PHONY: wsdl wsdl-install wsdl-clean
 
 
 .PHONY: wsdl wsdl-install wsdl-clean
 
+##########
+debian: version
+       $(MAKE) -f Makefile.debian
+
 ##########
 tests-install:
        mkdir -p $(DESTDIR)/usr/share/sfa/tests
 ##########
 tests-install:
        mkdir -p $(DESTDIR)/usr/share/sfa/tests