From ef59ca6739acc44728893e61ad00563dad6ebaf6 Mon Sep 17 00:00:00 2001
From: Jason Rumney <jasonr@gnu.org>
Date: Sun, 21 Oct 2007 16:03:53 +0000
Subject: [PATCH] (withfont): Set sep1 after modifying usercflags.

---
 nt/configure.bat | 1 +
 1 file changed, 1 insertion(+)

diff --git a/nt/configure.bat b/nt/configure.bat
index 994a41d259e..686685d0029 100755
--- a/nt/configure.bat
+++ b/nt/configure.bat
@@ -213,6 +213,7 @@ goto again
 
 :withfont
 set usercflags=%usercflags%%sep1%-DUSE_FONT_BACKEND
+set sep1= %nothing%
 set usefontbackend=Y
 shift
 goto again
-- 
2.39.5