diff options
Diffstat (limited to 'sci-misc/kaldi/files/Makefile.patch')
| -rw-r--r-- | sci-misc/kaldi/files/Makefile.patch | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/sci-misc/kaldi/files/Makefile.patch b/sci-misc/kaldi/files/Makefile.patch new file mode 100644 index 000000000..07302d6d4 --- /dev/null +++ b/sci-misc/kaldi/files/Makefile.patch @@ -0,0 +1,19 @@ +--- Makefile.orig 2015-01-01 21:51:30.999356027 -0400 ++++ Makefile 2015-01-04 16:54:02.527824499 -0400 +@@ -131,6 +131,16 @@ + ext_depend: check_portaudio + -for x in $(EXT_SUBDIRS); do $(MAKE) -C $$x depend; done + ++print-binfiles: $(addsuffix /print-binfiles, $(SUBDIRS)) ++ ++%/print-binfiles: ++ @$(MAKE) --no-print-directory -C $(dir $@) print-binfiles ++ ++print-libfiles: $(addsuffix /print-libfiles, $(SUBDIRS)) ++ ++%/print-libfiles: ++ @$(MAKE) --no-print-directory -C $(dir $@) print-libfiles ++ + + .PHONY: $(SUBDIRS) + $(SUBDIRS) : mklibdir |