[CRIU] [PATCH] Makefile: allow optional local rules

Kir Kolyshkin kir at odin.com
Fri May 1 10:59:36 PDT 2015



On 05/01/2015 03:48 AM, Andrew Vagin wrote:
> On Thu, Apr 30, 2015 at 04:25:45PM -0700, Kir Kolyshkin wrote:
>> I use Makefile.local to add my own rules for submitting a build
>> to Coverity. As those rules contain login credentials, they should
>> be kept private. Including Makefile.local (if present) seems to be
>> the best way to achieve that.
>>
>> Also, add Makefile.local to .gitignore to make sure it never gets
>> commited into repo.
> I use travis to submit buils to Coverity.
> https://github.com/avagin/criu/commit/d04645aef57fc40d8855746a206d72fb199225bd

Thanks!

This patch is not about Coverity though, but in general about an ability
to have your own private Makefile rules (or redefine existing ones).

>
>> Signed-off-by: Kir Kolyshkin <kir at openvz.org>
>> ---
>>   .gitignore | 1 +
>>   Makefile   | 3 +++
>>   2 files changed, 4 insertions(+)
>>
>> diff --git a/.gitignore b/.gitignore
>> index b97a96e..bd1e61e 100644
>> --- a/.gitignore
>> +++ b/.gitignore
>> @@ -15,6 +15,7 @@ criu
>>   cscope*
>>   tags
>>   TAGS
>> +Makefile.local
>>   syscall-x86-64.S
>>   include/syscall.h
>>   include/syscall-codes.h
>> diff --git a/Makefile b/Makefile
>> index ed2a199..84ce2bb 100644
>> --- a/Makefile
>> +++ b/Makefile
>> @@ -335,3 +335,6 @@ docker-test:
>>   	docker run --rm -it --privileged criu ./test/zdtm.sh -C -x tcp6 -x tcpbuf6 -x static/rtc -x cgroup -x mountpoint
>>   
>>   .DEFAULT_GOAL	:= all
>> +
>> +# include optional local rules
>> +-include Makefile.local
>> -- 
>> 1.9.3
>>



More information about the CRIU mailing list