Makefile
changeset 817 257a65e63780
parent 816 bbadb46574c4
child 886 74f10c613c59
--- a/Makefile	Tue Jan 24 22:18:12 2017 +0200
+++ b/Makefile	Tue Jan 24 22:19:48 2017 +0200
@@ -128,7 +128,7 @@
 	rm -f ~/.bash_profile
 	ln -s ~/.bashrc ~/.bash_profile
 	command -v /usr/bin/mc || exit 0; \
-	v=`mc --version | sed 's|.*\([0-9]\+\.[0-9]\+\.[0-9]\+\)$$|\1|;q'`; \
+	v=`/usr/bin/mc --version | sed 's|.*\([0-9]\+\.[0-9]\+\.[0-9]\+\)$$|\1|;q'`; \
 	vmajor=$${v%%.*}; \
 	vminor=$${v#*.}; \
 	vminor=$${vminor%.*}; \