# HG changeset patch
# User Jason Rumney <jasonr@gnu.org>
# Date 1192982633 0
# Node ID 42ccab68ba53018459a0b81a6af37d9953842681
# Parent  7d00f3adaf0dfe17795c58882524309894986799
(withfont): Set sep1 after modifying usercflags.

diff -r 7d00f3adaf0d -r 42ccab68ba53 nt/configure.bat
--- a/nt/configure.bat	Sat Oct 20 23:39:19 2007 +0000
+++ b/nt/configure.bat	Sun Oct 21 16:03:53 2007 +0000
@@ -213,6 +213,7 @@
 
 :withfont
 set usercflags=%usercflags%%sep1%-DUSE_FONT_BACKEND
+set sep1= %nothing%
 set usefontbackend=Y
 shift
 goto again