Index: busybox-1.7.2/editors/awk.c
===================================================================
---- busybox-1.7.2.orig/editors/awk.c 2007-10-04 19:57:46.859742242 +0200
-+++ busybox-1.7.2/editors/awk.c 2007-10-05 02:20:02.910793305 +0200
+--- busybox-1.7.2.orig/editors/awk.c 2007-10-30 15:34:59.000000000 -0500
++++ busybox-1.7.2/editors/awk.c 2007-10-30 15:35:03.000000000 -0500
@@ -2757,6 +2757,7 @@
{
unsigned opt;