Restore libm

diff --git a/lib/dummy/Makefile b/lib/dummy/Makefile
index d3801078bade969affdc501af6019a374c12e5f5..e5f1e9cab097ea3cb53d509b92fcf3c1a5074fae 100755 (executable)
--- a/lib/dummy/Makefile
+++ b/lib/dummy/Makefile
@@ -1,3 +1,18 @@
+## Makefile for lib/dummy.
+#
+## Make a dummy libm library so that -lm works.
+#
+#
+#LIBRARIES=libm
+#
+#libm_OBJECTS=dummy.o
+#
+#include ../Makefile.inc
+#
+#dummy.c:
+#      echo "int __dummy__;" > $@
+#
+
 # Makefile for lib/dummy.
 
 # Make a dummy libm library so that -lm works.