]> Zhao Yanbai Git Server - minix.git/commitdiff
New UPDATING file with hints for source updating.
authorBen Gras <ben@minix3.org>
Fri, 18 Aug 2006 16:18:54 +0000 (16:18 +0000)
committerBen Gras <ben@minix3.org>
Fri, 18 Aug 2006 16:18:54 +0000 (16:18 +0000)
docs/UPDATING [new file with mode: 0644]

diff --git a/docs/UPDATING b/docs/UPDATING
new file mode 100644 (file)
index 0000000..ae7f222
--- /dev/null
@@ -0,0 +1,9 @@
+
+20060818:
+       You need flex in your $PATH, which has become part of the base
+       system. This needs bigger binaries.
+       If you don't have flex yet, you can compile it first by doing:
+       # cp /usr/src/etc/binary_sizes* /etc
+       # binsizes big
+       # cd /usr/src/commands/flex-2.5.4 
+       # sh build