--- trunk/libf/make.sh	2008/03/31 12:24:17	7
+++ trunk/libf/make.sh	2008/06/05 12:43:08	11
@@ -39,7 +39,7 @@
     # Find the current compiler, if any:
     if [[ -L compiler.mk ]]
 	then
-	target=`basename $(ls -l compiler.mk |cut -d " " -f 11) .mk`
+	target=`basename $(readlink compiler.mk) .mk`
     fi
 fi