diff options
| author | Cyrill Gorcunov <gorcunov@openvz.org> | 2015-06-16 12:31:00 +0300 |
|---|---|---|
| committer | Pavel Emelyanov <xemul@parallels.com> | 2015-06-19 12:22:54 +0300 |
| commit | bf4243e3035bfa1598b3b6b9283d2ca6008ad8dd (patch) | |
| tree | 5194596ba71f37a0df66b19511a408c5ae1fbc95 /Makefile.config | |
| parent | 2a0c8db72bda39dc2939870f95caac30b1be9350 (diff) | |
make: Be able to force turning off piegen
For testing purpose we need to disable using of
piegen utility. So lets add PIEGEN make option
thus one can "PIEGEN=no make" to build criu
without piegen at all.
Signed-off-by: Cyrill Gorcunov <gorcunov@openvz.org>
Signed-off-by: Pavel Emelyanov <xemul@parallels.com>
Diffstat (limited to 'Makefile.config')
| -rw-r--r-- | Makefile.config | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.config b/Makefile.config index e1d2a3b8d..ce4b8d844 100644 --- a/Makefile.config +++ b/Makefile.config @@ -41,6 +41,9 @@ endif ifeq ($(call try-cc,$(SETPROCTITLE_INIT_TEST),-lbsd),y) $(Q) @echo '#define CONFIG_HAS_SETPROCTITLE_INIT' >> $@ endif +ifeq ($(piegen-y),y) + $(Q) @echo '#define CONFIG_PIEGEN' >> $@ +endif $(Q) @echo '#endif /* __CR_CONFIG_H__ */' >> $@ config: $(CONFIG) |