We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 38ea2b1 commit 3cf3c1aCopy full SHA for 3cf3c1a
src/Makefile
@@ -62,14 +62,16 @@ endif
62
63
# Don't call rm -rf.
64
rmlibdir:
65
+ifeq ($(KALDI_FLAVOR), dynamic)
66
ifneq ($(KALDILIBDIR), )
- -rm -f $(KALDILIBDIR)/*{.so,.a,.o}
67
+ -rm -f $(KALDILIBDIR)/*{.so,.a,.o,.dylib}
68
-rmdir 2>/dev/null $(KALDILIBDIR); true
69
else
70
# KALDILIBDIR might have been unset because of reconfigure. Do a best guess.
71
@echo "Something seems wrong. Please re-run configure."
72
@echo "I will continue but the cleanup might not be complete."
73
endif
74
+endif
75
76
kaldi.mk:
77
@echo "ERROR: kaldi.mk does not exist; run ./configure first.";
0 commit comments